close
1.

図書
図書
1. 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
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980  xx, 425 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 101
所蔵情報: loading…
2.

図書
図書
2. Introduction to metamathematics
by Stephen Cole Kleene
出版情報: Amsterdam : North-Holland , Groningen : Noordhoff, 1952  x, 550 p. ; 23 cm
シリーズ名: Bibliotheca mathematica ; v. 1
所蔵情報: loading…
3.

図書
図書
3. Two papers on the predicate calculus
by S.C. Kleene
出版情報: Providence, R.I. : American Mathematical Society, 1952  68 p. ; 26 cm
シリーズ名: Memoirs of the American Mathematical Society ; no. 10
所蔵情報: loading…
目次情報:
Permutability of inferences in Gentzen's calculi L̲K̲ and L̲J
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols
Permutability of inferences in Gentzen's calculi L̲K̲ and L̲J
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols
4.

図書
図書
4. The foundations of intuitionistic mathematics : especially in relation to recursive functions
Stephen Cole Kleene, Richard Eugene Vesley
出版情報: Amsterdam : North-Holland Pub. Co., 1965  viii, 206 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
5.

図書
図書
5. Introduction to metamathematics
Stephen Cole Kleene
出版情報: Princeton, N. J. : Van Nostrand, 1964  550 p. ; 24 cm
シリーズ名: The University series in higher mathematics
所蔵情報: loading…
6.

図書
図書
6. Mathematical logic
Stephen Cole Kleene
出版情報: New York : J. Wiley, c1967  xiii, 398 p. ; 24 cm
所蔵情報: loading…
7.

図書
図書
7. Introduction to metamathematics
by Stephen Cole Kleene
出版情報: Princeton, N.J. : Van Nostrand, 1952  x, 550 p. ; 24 cm
シリーズ名: The University series in higher mathematics
所蔵情報: loading…
8.

図書
図書
8. Introduction to metamathematics
by Stephen Cole Kleene
出版情報: Amsterdam : North-Holland , Groningen : P. Noordhoff, 1952  x, 550 p. ; 23 cm
シリーズ名: Bibliotheca mathematica ; v. 1
所蔵情報: loading…
9.

図書
図書
9. Formalized recursive functionals and formalized realizability
by S.C. Kleene
出版情報: Providence, R.I. : American Mathematical Society, c1969  106 p. ; 26 cm
シリーズ名: Memoirs of the American Mathematical Society ; no. 89
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼