Jump to main content

yr 〜
yr

Search results 51

Collected papers v. 1. v. 2. v. 3. v. 4.

Collected papers v. 1. v. 2. v. 3. v. 4.
Paper図書
Alfred TarskiBirkhäuserc2019
Other Libraries in Japan

Undecidable theories Dover ed

Undecidable theories Dover ed
Paper図書
Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. RobinsonDover Publications2010, c1953
Other Libraries in Japan

Collected papers / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie, editors. (Contemporary mathematicians)

Collected papers / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie, editors. (Contemporary mathematicians)
Paper図書
Birkhäuser1986.<MA21-A26>
National Diet Library
  • Author HeadingTarski, Alfred. Givant, Steven R. McKenzie, R...

Cylindric algebras. [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski. (Studies in logic and the foundations of mathematics ; v. 64, 115)

Cylindric algebras. [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski. (Studies in logic and the foundations of mathematics ; v. 64, 115)
Paper図書
North-Holland Pub. Co.1971-1985.<MA41-30>
National Diet Library
  • Author HeadingHenkin, Leon. Monk, J. Donald (James Donald) , 1930- Tarski, Alfred.

Введение в логику и методологию дедуктивных наук

Введение в логику и методологию дедуктивных наук
Paper図書
А.Тарский ; перевод с английского О. Н. Дынник ; редакция и предисловие к русскому переводу С.А. Яновской ; примечания Г.М. АдельсонаТривиум2000
Other Libraries in Japan

Alfred Tarski and the Vienna Circle : austro-polish connections in logical empiricism

Alfred Tarski and the Vienna Circle : austro-polish connections in logical empiricism
Paper図書
edited by Jan Woleński and Eckehart KöhlerKluwer Academic Pub.c1999
Other Libraries in Japan

Introduction to logic and to the methodology of deductive sciences : pbk

Introduction to logic and to the methodology of deductive sciences : pbk
Paper図書
Alfred Tarski ; translated by Olaf HelmerDover Publications1995
Other Libraries in Japan

Introduction to logic and to the methodology of the deductive sciences 4th ed. / edited by Jan Tarski

Introduction to logic and to the methodology of the deductive sciences 4th ed. / edited by Jan Tarski
Paper図書
by Alfred TarskiOxford University Press1994
Other Libraries in Japan

A formalization of set theory without variables

A formalization of set theory without variables
Paper図書
by Alfred Tarski and Steven GivantAmerican Mathematical Societyc1987
Other Libraries in Japan

Collected papers : set : sz v. 1. : sz v. 2. : sz v. 3. : sz v. 4. : sz : set : us v. 1. : us v. 2. : us v. 3. : us v. 4. : us

Collected papers : set : sz v. 1. : sz v. 2. : sz v. 3. : sz v. 4. : sz : set : us v. 1. : us v. 2. : us v. 3. : us v. 4. : us
Paper図書
Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie, editorsBirkhäuser1986
Other Libraries in Japan

Proceedings. Edited by Leon Henkin and [others]. (Proceedings of symposia in pure mathematics, v. 25)

Proceedings. Edited by Leon Henkin and [others]. (Proceedings of symposia in pure mathematics, v. 25)
Paper図書
Published for the Association for Symbolic Logic by American Mathematical Society1974.<MA21-139>
National Diet Library
  • Author HeadingTarski, Alfred. Henkin, Léon. University of C...

Logic, semantics, metamathematics : papers from 1923 to 1938 pbk. 2nd ed. / edited and introduced by John Corcoran

Logic, semantics, metamathematics : papers from 1923 to 1938 pbk. 2nd ed. / edited and introduced by John Corcoran
Paper図書
by Alfred Tarski ; translated by J.H. WoodgerHackett Pub. Co.c1983
Other Libraries in Japan

Metamathematische Methoden in der Geometrie :gw :us

Metamathematische Methoden in der Geometrie :gw :us
Paper図書
W. Schwabhäuser, W. Szmielew, A. TarskiSpringer-Verlag1983
Other Libraries in Japan

ムーア・タルスキ・クワイン・ライル・ストローソン 2

ムーア・タルスキ・クワイン・ライル・ストローソン 2
Paper図書
G.ムーアほか著 ; 神野慧一郎 [ほか] 訳勁草書房1987
Other Libraries in Japan

Einführung in die mathematische Logik 5. Aufl.

Einführung in die mathematische Logik 5. Aufl.
Paper図書
Alfred TarskiVandenhoeck & Ruprecht1977, c1966
Other Libraries in Japan

Logique, sémantique, métamathématique, 1923-1944

Logique, sémantique, métamathématique, 1923-1944
Paper図書
Alfred Tarski ; [traduction sous la direction de Gilles Granger]Librairie Armand Colin1972-
Other Libraries in Japan

Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday

Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
Paper図書
edited by Leon Henkin ... [et al.]Published for the Association for Symbolic Logic by the American Mathematical Society1974
Other Libraries in Japan

Einführung in die mathematische Logik 3. Aufl

Einführung in die mathematische Logik 3. Aufl
Paper図書
Alfred TarskiVandenhoeck & Ruprecht1969
Other Libraries in Japan

Introduction a la logique 2e edition / revue et augmentée Traduit de l'anglais, par Jacques Tremblay

Introduction a la logique 2e edition / revue et augmentée Traduit de l'anglais, par Jacques Tremblay
Paper図書
Alfred TarskiGauthier-Villars Louvain, E. Nauwelaerts1969
Other Libraries in Japan

Cylindric algebras pt. 1 pt. 2

Cylindric algebras pt. 1 pt. 2
Paper図書
[By] Leon Henkin, J. Donald Monk [and] Alfred TarskiNorth-Holland Pub. Co.1971-1985
Other Libraries in Japan
RSS