کتاب های Tarski, Alfred

A Formalization of Set Theory without Variables (Colloquium Publications)
Alfred Tarski, Steven Givant, 1987
A formalization of set theory without variables
Alfred Tarski and Steven Givant, 1987
Undecidable Theories
Alfred Tarski, 1971
Undecidable theories
Alfred Tarski, 1971
La concepción semántica de la verdad y los fundamentos de la semántica
Alfred Tarski, 1972
A decision method for elementary algebra and geometry
Alfred Tarski, 1957
Direct Decompositions of Finite Algebraic Systems: Notre Dame Mathematical Lectures
BjarniJonsson;And Alfred Tarski, 1947
Logic, semantics, metamathematics: Papers from 1923 to 1938
Alfred Tarski, 1956
Ordinal Algebras
Alfred Tarski with appendices by C.-C. Chang, 1956
Einführung in die Mathematische Logik: Und in die Methodologie der Mathematik
Alfred Tarski (auth.), 1937
Introduction to Logic and to the Methodology of the Deductive Sciences
Alfred Tarski, 1994
Introduction to logic and to the methodology of the deductive sciences
Alfred Tarski, 1994
Logic, Semantics, Metamathematics: Papers from 1923 to 1938
Alfred Tarski; John Corcoran (ed.), 2006,1983
Cardinal algebras
Alfred Tarski, 1949
Introduction à la logique
Alfred Tarski, 1971
Logic, Semantics, Metamathematics. Papers from 1923 to 1938
Alfred Tarski, 1956
Introduction to Logic: and to the Methodology of Deductive Sciences
Alfred Tarski, 1995
Introduction to Logic: and to the Methodology of Deductive Sciences
Alfred Tarski, 1995