Jump to main content

yr 〜
yr

Search results 4

計算理論と論理プログラミング

計算理論と論理プログラミング
PaperDigital図書
Melvin Fitting [著], 山崎秀記 [ほか]共訳丸善1989.8<MA41-E27>
National Diet LibraryOther Libraries in Japan
  • Author HeadingFitting, Melvin, 1942- 山崎, 秀記, 1949-

Proof methods for modal and intuitionistic logics / Melvin Fitting. (Synthese library ; v. 169)

Proof methods for modal and intuitionistic logics / Melvin Fitting. (Synthese library ; v. 169)
Paper図書
D. Reidelc1983.<MA41-A44>
National Diet LibraryOther Libraries in Japan
  • Author HeadingFitting, Melvin, 1942-

Fundamentals of generalized recursion theory / Melvin Fitting. (Studies in logic and the foundations of mathematics ; v. 105)

Fundamentals of generalized recursion theory / Melvin Fitting. (Studies in logic and the foundations of mathematics ; v. 105)
Paper図書
North-Holland Pub. Co.c1981.<MA41-194>
National Diet Library
  • Author HeadingFitting, Melvin, 1942-

Intuitionistic logic, model theory and forcing. (Studies in logic and the foundation of mathematics)

Intuitionistic logic, model theory and forcing. (Studies in logic and the foundation of mathematics)
Paper図書
North-Holland Pub. Co.1969.<MA41-25>
National Diet LibraryOther Libraries in Japan
  • Author HeadingFitting, Melvin, 1942-

Reached to the end of result.

RSS