Research Catalog

  • A formalization of set theory without variables / by Alfred Tarski and Steven Givant.

    • Text
    • Providence, R.I. : American Mathematical Society, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 88-1926Offsite
  • Alfred Tarski, collected papers / Steven R. Givant and Ralph N. McKenzie, editors.

    • Text
    • Basel ; Boston : Birkhäuser, 1986.
    • 1986
    • 4 Items
    FormatCall NumberItem Location
    Text JSF 90-267 v. 2Offsite
    FormatCall NumberItem Location
    Text JSF 90-267 v. 3Offsite
    FormatCall NumberItem Location
    Text JSF 90-267 v. 4Offsite
  • Introduction to logic and to the methodology of the deductive sciences / by Alfred Tarski.

    • Text
    • New York : Oxford University Press, 1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 94-966Offsite
  • Logic, semantics, metamathematics; papers from 1923 to 1938. Translated by J. H. Woodger.

    • Text
    • Oxford, Clarendon Press, 1956.
    • 1956
    • 1 Item
    FormatCall NumberItem Location
    Text E-10 65Schwarzman Building - Main Reading Room 315

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • Einführung in die mathematische logik und in die methodologie der mathematik, von Alfred Tarski.

    • Text
    • Wien, J. Springer, 1937.
    • 1937
    • 1 Item
    FormatCall NumberItem Location
    Text OEI (Tarski, A. Einfuhrung in die mathematische logik und in die methodologie der mathematik)Offsite
  • Introduction to logic and to the methodology of deductive sciences, by Alfred Tarski.

    • Text
    • New York, Oxford university press [c1941]
    • 1941
    • 1 Item
    FormatCall NumberItem Location
    Text OEI (Tarski, A. Introduction to logic. 1941)Offsite
  • Introduction to logic : and to the methodology of deductive sciences / by Alfred Tarski.

    • Text
    • New York : Oxford U.P., 1946.
    • 1946
    • 1 Item
    FormatCall NumberItem Location
    Text OEI (Tarski, A. Introduction to logic. 1946)Offsite
  • Introduction to logic and to the methodology of deductive sciences. [Translated by Olaf Helmer.

    • Text
    • New York, Oxford University Press, 1965.
    • 1965
    • 1 Item
    FormatCall NumberItem Location
    Text OEI (Tarski, A. Introduction to logic. 1965)Offsite
  • Introduction à la logique. Traduit de l'anglais par J. Tremblay.

    • Text
    • Paris, Gauthiers-Villars, 1960.
    • 1960
    • 1 Item
    FormatCall NumberItem Location
    Text OEI (Tarski, A. Introduction a la logique)Offsite
  • Undecidable theories, by Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1953.
    • 1953
    • 1 Item
    FormatCall NumberItem Location
    Text OEI (Tarski, A. Undecidable theories)Offsite
  • Cardinal algebras. With an appendix: Cardinal products of isomorphism types, by Bjarni Jónsson and Alfred Tarski.

    • Text
    • New York, Oxford University Press, 1949.
    • 1949
    • 1 Item
    FormatCall NumberItem Location
    Text OGF (Tarski, A. Cardinal algebras)Offsite
  • Undecidable theories. In collaboration with Andrzej Mostowski and Raphael M. Robinson.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1968.
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text QA248 21Off-site
    Not available - Please for assistance.
  • Introduction à la logique. Traduit de l'anglais par J. Tremblay.

    • Text
    • Paris, Gauthiers-Villars, 1971.
    • 1971
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.T2814 1971Off-site
  • Introduction à la logique. Traduit de l'anglais par J. Tremblay.

    • Text
    • Paris, Gauthiers-Villars, 1960.
    • 1960
    • 1 Item
    FormatCall NumberItem Location
    Text 8105.897.95Off-site
  • Logique, sémantique, métamathématique, 1923-1944.

    • Text
    • Paris, A. Colin, 1972-
    • 1972
    • 2 Items
    FormatCall NumberItem Location
    Text 6278.895 v. 2Off-site
    FormatCall NumberItem Location
    Text 6278.895 v. 1Off-site
  • Logic, semantics, metamathematics; papers from 1923 to 1938. Translated by J.H. Woodger.

    • Text
    • 1956
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.895.2Off-site
  • Introduction à la logique. Traduit de l'anglais par J. Tremblay.

    • Text
    • Paris, Gauthiers-Villars, 1960.
    • 1960
    • 1 Item
    FormatCall NumberItem Location
    Text 8105.897.95Off-site
  • Logique, sémantique, métamathématique, 1923-1944.

    • Text
    • Paris, A. Colin, 1972-
    • 1972
    • 1 Item
    FormatCall NumberItem Location
    Text 6278.895 v. 1Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta