close
1.

図書
図書
1. Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
edited by Leon Henkin ... [et al.]
出版情報: Providence : Published for the Association for Symbolic Logic by the American Mathematical Society, 1974  xx, 498 p. ; 26 cm
シリーズ名: Proceedings of symposia in pure mathematics ; v. 25
所蔵情報: loading…
2.

図書
図書
2. Cylindric algebras (pt. 1 ; pt. 2)
[By] Leon Henkin, J. Donald Monk [and] Alfred Tarski
出版情報: Amsterdam : North-Holland Pub. Co., 1971-1985  2 v. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 64, 115
所蔵情報: loading…
目次情報:
General Theory of Algebras
Elementary Properties of Cylindric Algebras
General Algebraic Notions Applied to Cylindric Algebras
General Theory of Algebras
Elementary Properties of Cylindric Algebras
General Algebraic Notions Applied to Cylindric Algebras
3.

図書
図書
3. The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958
edited by Leon Henkin, Patrick Suppes, Alfred Tarski
出版情報: Amsterdam : North-Holland, 1959  xi, 488 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
4.

図書
図書
4. The theory of models : proceedings of the 1963 International Symposium at Berkeley
edited by J.W. Addison, Leon Henkin, Alfred Tarski
出版情報: Amsterdam : North-Holland, 1965  xv, 494 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼