Jump to main content

yr 〜
yr

Search results 4

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

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

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 Heading (ID)00466510

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 Heading (ID)00466510

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 Heading (ID)00466510

Reached to the end of result.

RSS