Search results for: Tarski, Alfred, 1901-1983
Showing 1 - 9 results of 9
Refine Results
-
1
A decision method for elementary algebra and geometry
Authors: Tarski, Alfred, 1901-1983
Published: University of California Press, 1951Physical Description: iii, 63 pages ; 28 cmHoldings: Loading…
Book Loading… -
2
Collected papers
Authors: Tarski, Alfred, 1901-1983Other Authors:
Published: Birkhäuser, 1986Physical Description: 4 volumes : illustrations, portraits ; 26 cm.Holdings: Loading…
Book Loading… -
3
Ordinal algebras
Authors: Tarski, Alfred, 1901-1983
Published: North-Holland Pub. Co., 1956Physical Description: 133 pages ; 22 cm.Holdings: Loading…
Book Loading… -
4
Introduction to logic and to the methodology of deductive sciences.
Authors: Tarski, Alfred, 1901-1983
Published: Oxford university press, 1946Physical Description: xviii, 239 pages ; 22 cmHoldings: Loading…
Book Loading… -
5
Undecidable theories
Authors: Tarski, Alfred, 1901-1983
Published: North-Holland Pub. Co., 1953Physical Description: xi, 98 pages ; 22 cm.Holdings: Loading…
Book Loading… -
6
A formalization of set theory without variables
Authors: Tarski, Alfred, 1901-1983
Published: American Mathematical Society, 1987Physical Description: xxi, 318 pages : illustrations ; 26 cm.Holdings: Loading…
Book Loading… -
7
Logic, semantics, metamathematics ; papers from 1923 to 1938
Authors: Tarski, Alfred, 1901-1983
Published: Clarendon Press, 1956Physical Description: 471 pages ; 23 cmHoldings: Loading…
Book Loading… -
8
Distributive and modular laws in the arithmetic of relation algebras
Authors: Chin, Louise Hoy, 1922-Other Authors: “…Tarski, Alfred, 1901-1983…”
Published: University of California Press, 1951
Physical Description: 341-384 pages.Holdings: Loading…
Book Loading… -
9
Cylindric algebras
Authors: Henkin, LeonOther Authors:
Published: North-Holland Pub. Co., 1971Physical Description: 2 volumes ; 23 cm.Holdings: Loading…
Book Loading…