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… 文献複写・貸借依頼
{"ft_lang_label":"__label__en","ft_lang_prob":0.6323244,"math_prob":0.88899505,"size":976,"snap":"2020-34-2020-40","text_gpt3_token_len":389,"char_repetition_ratio":0.19238684,"word_repetition_ratio":0.05232558,"special_character_ratio":0.272541,"punctuation_ratio":0.18085106,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9663785,"pos_list":[0,1,2,3,4],"im_url_duplicate_count":[null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-08-05T08:12:12Z\",\"WARC-Record-ID\":\"<urn:uuid:cee9706d-8c4d-4ad1-8abc-514f59e6c886>\",\"Content-Length\":\"87549\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:985b59e3-4983-4242-85ab-778821cc3241>\",\"WARC-Concurrent-To\":\"<urn:uuid:2c179c93-806c-44c2-bb39-0f4a4869009d>\",\"WARC-IP-Address\":\"163.44.161.220\",\"WARC-Target-URI\":\"https://topics.libra.titech.ac.jp/xc/search/DA0077541X?os%5Bua%5D=DA0077541X\",\"WARC-Payload-Digest\":\"sha1:AGH2OG275OXASA6UHKXXBGLLKPMDVL5P\",\"WARC-Block-Digest\":\"sha1:Y2F3PNGZ55RKY52JFSK4NKYA3Z4MWWQE\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-34/CC-MAIN-2020-34_segments_1596439735916.91_warc_CC-MAIN-20200805065524-20200805095524-00385.warc.gz\"}"}