城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Tarski Alfred)
該当件数:12件
Logic, semantics, metamathematics; papers from 1923 to 1938 / Translated by J. H. Woodger.
Oxford, England : Clarendon Press , 1956
図書
Ordinal algebras / with appendices by Chen-Chung Chang and Bjarni J?nsson.
Amsterdam : North-Holland , 1956. - (Studies in logic and the foundations of mathematics)
Einfuhrung in die mathematische Logik
5. - 2. neuarb. Aufl.. - Goettingen : Vandenhoeck & Ruprecht , {1966}. - (Moderne Mathematik in elementarer Darstellung ; 5)
Introduction to logic and to the methodology of deductive sciences / {Translated by Olaf Helmer.
GB133. - 3d ed. rev.}. - New York : Oxford University Press , 1965. - (A Galaxy book ; GB133)
Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski ; translated by J.H. Woodger.
2nd ed. / edited and introduced by John Corcoran.. - Indianapolis, Ind. : Hackett Publishing Co. , c1983.
Direct decompositions of finite algebraic systems / by B. J?nsson & Alfred Tarski.
no. 5. - Indiana : Notre Dame , 1964. - (Notre Dame mathematical lectures ; no. 5)
Undecidable theories / In collaboration with Andrzej Mostowski and Raphael M. Robinson.
Amsterdam : North-Holland , 1971 {c1953}. - (Studies in logic and the foundations of mathematics)
Proceedings of the 1963 international symposium at Berkeley / ed by J. W. Addison, L. Henkin & A. Tarski.
1963. - Amsterdam : North-Holland , 1972. - (Studies in logic and the foundations of mathematics ; 1963)
Cylindric algebras.. 2 / {By} Leon Henkin, J. Donald Monk {and} Alfred Tarski.
v. 115. - Amsterdam : North-Holland , c1985.. - (Studies in logic and the foundations of mathematics ; v. 115)
Cylindric algebras. Part 1. With an introduction chapter : General theory of algebras / {by} Leon Henkin, ... J. Donald Monk, ... Alfred Tarski, ...
Vol. 64. - Amsterdam : North-Holland , 1971. - (Studies in logic and the foundations of mathematics ; Vol. 64)
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. - (Proceedings of symposia in pure mathematics ; v. 25)
Proceedings / Edited by Leon Henkin and [others]
Providence : Published for the Association for Symbolic Logic by American Mathematical Society , 1974. - (Proceedings of symposia in pure mathematics. ISSN:00820717 (print) ; v. 25)
電子ブック