本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
North-Holland Pub. Co.1980.<MA41-111>
国立国会図書館
  • 著者標目（識別子）00445849 00462879 00445382 01115744

数学的論理学 下

数学的論理学 下
紙デジタル図書障害者向け資料あり
クリーネ 著, 竹内誠吉, 小沢健一 訳明治図書出版1973<H35-22>
インターネットで読める国立国会図書館全国の図書館
  • 著者標目（識別子）00445849 00080300 00064186

数学的論理学 上

数学的論理学 上
紙デジタル図書障害者向け資料あり
クリーネ 著, 小沢健一 訳明治図書出版1971<H35-22>
インターネットで読める国立国会図書館全国の図書館
  • 著者標目（識別子）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)
紙図書
American Mathematical Society1969.<MA41-16>
国立国会図書館
  • 著者標目（識別子）00445849

Mathematical logic.

Mathematical logic.
紙図書
Wiley[1967]<510.1-K63m>
国立国会図書館
  • 著者標目（識別子）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)
紙図書
North-Holland, Pub. Co.1967.<MA21-47>
国立国会図書館
  • 著者標目（識別子）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)
紙図書
North-Holland Pub. Co.1965.<164-K65f>
国立国会図書館
  • 著者標目（識別子）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)
紙図書
North-Holland1962.<510.1-K64i>
国立国会図書館
  • 著者標目（識別子）00445849

検索結果は以上です。

RSS