Jump to main content

yr 〜
yr

Search results 8

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. (Studies in logic and the foundations of mathematics ; v. 101)

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. (Studies in logic and the foundations of mathematics ; v. 101)
Paper図書
North-Holland Pub. Co.1980.<MA41-111>
National Diet Library
  • Author Heading (ID)00445849 00462879 00445382 01115744

数学的論理学 下

数学的論理学 下
PaperDigital図書障害者向け資料あり
クリーネ 著, 竹内誠吉, 小沢健一 訳明治図書出版1973<H35-22>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00445849 00080300 00064186

数学的論理学 上

数学的論理学 上
PaperDigital図書障害者向け資料あり
クリーネ 著, 小沢健一 訳明治図書出版1971<H35-22>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00445849 00064186

Formalized recursive functionals and formalized realizability, by S. C. Kleene. (Memoirs of the American Mathematical Society, no. 89)

Formalized recursive functionals and formalized realizability, by S. C. Kleene. (Memoirs of the American Mathematical Society, no. 89)
Paper図書
American Mathematical Society1969.<MA41-16>
National Diet Library
  • Author Heading (ID)00445849

Mathematical logic.

Mathematical logic.
Paper図書
Wiley[1967]<510.1-K63m>
National Diet Library
  • Author Heading (ID)00445849

Introduction to metamathematics. (Bibliotheca mathematica, a series of monographs on pure and applied mathematics, v. 1)

Introduction to metamathematics. (Bibliotheca mathematica, a series of monographs on pure and applied mathematics, v. 1)
Paper図書
North-Holland, Pub. Co.1967.<MA21-47>
National Diet Library
  • Author Heading (ID)00445849

The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley. (Studies in logic and the foundations of mathematics)

The foundations of intuitionistic mathematics, especially in relation to recursive functions [by] Stephen Cole Kleene [and] Richard Eugene Vesley. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1965.<164-K65f>
National Diet Library
  • Author Heading (ID)00445849

Introduction to metamathèmatics. (Bibliotheca Mathematica. A series of monographs on pure and applied mathematics. Vol. 1)

Introduction to metamathèmatics. (Bibliotheca Mathematica. A series of monographs on pure and applied mathematics. Vol. 1)
Paper図書
North-Holland1962.<510.1-K64i>
National Diet Library
  • Author Heading (ID)00445849

Reached to the end of result.

RSS