close
1.

図書

図書
by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson
出版情報: Amsterdam : North-Holland Pub. Co., 1953  xi, 98 p. ; 22 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
2.

図書

図書
by Bjarni Jónsson and Alfred Tarski
出版情報: New York : Oxford University Press, 1949  xii, 326 p. ; 22 cm
所蔵情報: loading…
3.

図書

図書
edited by Ernest Nagel, Patrick Suppes, Alfred Tarski
出版情報: Stanford : Stanford University Press, 1962  ix, 661 p. ; 26 cm
所蔵情報: loading…
4.

図書

図書
[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
5.

図書

図書
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…
6.

図書

図書
by Alfred Tarski ; [translated by Olaf Helmer]
出版情報: New York : Oxford University Press, 1946  xviii, 239 p. ; 23 cm
所蔵情報: loading…
7.

図書

図書
by Alfred Tarski and Steven Givant
出版情報: Providence, R.I. : American Mathematical Society, c1987  xxi, 318 p. ; 26 cm
シリーズ名: Colloquium publications / American Mathematical Society ; v. 41
所蔵情報: loading…
目次情報: 続きを見る
The formalism $\mathcal L$of predicate logic
The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$
The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$
The relative equipollence of $\mathcal L$ and $\mathcal L^+$, and the formalization of set theory in $\mathcal L^\times$
Some improvements of the equipollence results Implications of the main results for semantic and axiomatic foundations of set theory
Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers
Applications to relation algebras and to varieties of algebras
Bibliography
Indices
The formalism $\mathcal L$of predicate logic
The formalism $\mathcal L^+$, a definitional extension of $\mathcal L$
The formalism $\mathcal L^+$ without variables and the problem of its equipollence with $\mathcal L$
8.

図書

図書
by Alfred Tarski ; with appendices by Chen-Chung Chang and Bjarni Jónsson
出版情報: Amsterdam : North-Holland, 1956  133 p. ; 22 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
9.

図書

図書
Alfred Tarski
出版情報: Cham : Birkhäuser, c2019  4 v. ; 26 cm
所蔵情報: loading…
10.

図書

図書
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼