Search results for: Tarski, Alfred, 1901-1983

Showing 1 - 9 results of 9 Refine Results
  1. 1

    A decision method for elementary algebra and geometry

    Authors: Tarski, Alfred, 1901-1983
    Published: University of California Press, 1951
    Physical Description: iii, 63 pages ; 28 cm
    Book
  2. 2

    Collected papers

    Authors: Tarski, Alfred, 1901-1983
    Published: Birkhäuser, 1986
    Other Authors:
    Physical Description: 4 volumes : illustrations, portraits ; 26 cm.
    Book
  3. 3

    Ordinal algebras

    Authors: Tarski, Alfred, 1901-1983
    Published: North-Holland Pub. Co., 1956
    Physical Description: 133 pages ; 22 cm.
    Book
  4. 4

    Introduction to logic and to the methodology of deductive sciences.

    Authors: Tarski, Alfred, 1901-1983
    Published: Oxford university press, 1946
    Physical Description: xviii, 239 pages ; 22 cm
    Book
  5. 5

    Undecidable theories

    Authors: Tarski, Alfred, 1901-1983
    Published: North-Holland Pub. Co., 1953
    Physical Description: xi, 98 pages ; 22 cm.
    Book
  6. 6

    A formalization of set theory without variables

    Authors: Tarski, Alfred, 1901-1983
    Published: American Mathematical Society, 1987
    Physical Description: xxi, 318 pages : illustrations ; 26 cm.
    Book
  7. 7

    Logic, semantics, metamathematics ; papers from 1923 to 1938

    Authors: Tarski, Alfred, 1901-1983
    Published: Clarendon Press, 1956
    Physical Description: 471 pages ; 23 cm
    Book
  8. 8

    Distributive and modular laws in the arithmetic of relation algebras

    Authors: Chin, Louise Hoy, 1922-
    Published: University of California Press, 1951
    Other Authors: “…Tarski, Alfred, 1901-1983…”
    Physical Description: 341-384 pages.
    Book
  9. 9

    Cylindric algebras

    Authors: Henkin, Leon
    Published: North-Holland Pub. Co., 1971
    Other Authors:
    Physical Description: 2 volumes ; 23 cm.
    Book