| Alfred Tarski and the 'Concept of Truth in Formalized Languages': A Running Commentary with Consideration of the Polish Original and the German Translation |
Monika Gruber |
Adam Tamas Tuboly |
The Vienna Circle in Czechoslovakia |
2020-01-01 |
| Alfred Tarski: Early Work in Poland -- Geometry and Teaching |
A McFarland |
I Loeb |
History and Philosophy of Logic |
2015-11-01 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman and Solomon Feferman |
Manuel Bremer |
Philosophy in Review |
2009-01-01 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman and Solomon Feferman |
Joel Isaac |
Modern Intellectual History |
2007-08-01 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman and Solomon Feferman |
Ivor Grattan-Guinness |
British Journal for the History of Science |
2006-09-01 |
| Alfred Tarski. Life and Logic Anita Burdman Feferman y Salomón Feferman |
Anita Burdman Feferman Y Salomón Feferman |
Alejandro Tomasini Bassols |
Crítica: Revista Hispanoamericana de Filosofía |
2006-04-00 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman and Solomon Feferman |
Walter Carnielli |
Logic and Logical Philosophy |
2006-01-01 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman and Solomon Feferman |
Roger D Maddux |
The Bulletin of Symbolic Logic |
2005-12-01 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman and Solomon Feferman |
Roger Schmit |
Archives de Philosophie |
2005-09-01 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman and Solomon Feferman |
Elliott Mendelson |
Philosophia Mathematica |
2005-06-01 |
| Alfred Tarski: Life and Logic |
Anita Burdman Feferman and Solomon Feferman |
Krystyna Misiuna |
History and Philosophy of Logic |
2005-05-01 |
| A Formalization of Set Theory without Variables |
Alfred Tarski |
John Bacon |
History and Philosophy of Logic |
1989-01-01 |
| Collected Papers, 4v, S. R. Givant and R. N. McKenzie (eds) |
Alfred Tarski |
Jan Wolenski |
History and Philosophy of Logic |
1988-01-01 |
| Collected Papers |
Alfred Tarski |
Peter M Simons |
Conceptus: Zeitschrift für Philosophie |
1988-01-01 |
| Cylindric algebras. Part II |
Leon Henkin, J. Donald Monk, and Alfred Tarski |
Roger D. Maddux |
The Journal of Symbolic Logic |
1988 |
| Logic, Semantics, Metamathematics, 2nd ed, John Corcoran (ed) |
Alfred Tarski |
Jody Azzouni |
Metaphilosophy |
1986-01-01 |
| Ein axiomatischer Aujbau der euklidischen Geometrie |
Wolfram Schwabhäuser, Wanda Szmielew, and Alfred Tarski |
Maria Moszyńska |
The Journal of Symbolic Logic |
1986 |
| Logic, Semantics, Metamathematics |
Alfred Tarski |
Bernard Linsky |
Philosophy in Review |
1985-01-01 |
| Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
William Glassmire |
The Journal of Symbolic Logic |
1974 |
| Pascual Jordan. Quantenlogik und das kommutative Gesetz. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957–January 4 |
Leon Henkin, Patrick Suppes, and Alfred Tarski, Studies in logic and the foundations of mathematics |
M. Drieschner |
The Journal of Symbolic Logic |
1974 |
| Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
James E. Baumgartner |
The Journal of Symbolic Logic |
1972 |
| J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Gerald E. Sacks |
The Journal of Symbolic Logic |
1972 |
| F. William Lawvere. Algebraic theories, algebraic categories, and algebraic functors. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Anne Preller |
The Journal of Symbolic Logic |
1971 |
| Peter Freyd. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Anne Preller |
The Journal of Symbolic Logic |
1971 |
| Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Carol R. Karp. Finite-quantifier equivalence. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
H. Jerome Keisler |
The Journal of Symbolic Logic |
1971 |
| Wolfram Schwabhäuser. On models of elementary elliptic geometry. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
L. W. Szczerba |
The Journal of Symbolic Logic |
1971 |
| Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
David Makinson |
The Journal of Symbolic Logic |
1970 |
| Gebhard Furhken. Languages with added quantifier “there exist at least Nα.”The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
A. B. Slomson |
The Journal of Symbolic Logic |
1970 |
| Tarski, Alfred |
Andrzej Mostowski |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
David Makinson |
The Journal of Symbolic Logic |
1970 |
| W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |
| R. L. Vaught. A Löwenheim-Skolem theorem for cardinals far apart. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
G. Fuhrken |
The Journal of Symbolic Logic |
1968-10-10 |
| Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
E. G. K. Lopez-Escobar |
The Journal of Symbolic Logic |
1968-07-23 |
| Cylindrical algebras |
Leon Henkin and Alfred Tarski |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1967-10-09 |
| Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Joel W. Robbin |
The Journal of Symbolic Logic |
1967 |
| Introduction to logic and to the methodology of deductive sciences |
Alfred Tarski |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1966 |
| Some problems and results relevant to the foundations of set theory |
Alfred Tarski |
Thomas Frayne |
The Journal of Symbolic Logic |
1965 |
| Introduction à la logique. French translation of XII 61 by Jacques A. Tremblay |
Alfred Tarski |
Alfons Borgers |
The Journal of Symbolic Logic |
1965 |
| ¿ Qué es la geometria elemental ?Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 (for 1958, published 1959) |
Alfred Tarski |
John van Heijenoort |
The Journal of Symbolic Logic |
1962 |
| Hebrew translation of XII 61(1) by Y. Bar-Hillel with the collaboration of E. I. J. Poznanski |
Alfred Tarski |
Azriel Lévy |
The Journal of Symbolic Logic |
1960 |
| Ordinal algebras |
Alfred Tarski |
Hugo Ribeiro |
The Journal of Symbolic Logic |
1960 |
| Preface |
Alfred Tarski |
Martin Davis |
The Journal of Symbolic Logic |
1959 |
| The semantic conception of truth and the foundations of semantics. A reprint of IX 68 (with omission of the Spanish abstract) |
Alfred Tarski |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Distributive and modular laws in the arithmetic of relation algebras |
Louise H. Chin and Alfred Tarski |
J. Richard Büchi |
The Journal of Symbolic Logic |
1953 |
| A decision method for elementary algebra and geometry. Prepared for publication with the assistance of J. C. C. McKinsey. Second edition, revised. Lithoprinted |
Alfred Tarski |
Leon Henkin |
The Journal of Symbolic Logic |
1952 |
| Cardinal algebras |
Alfred Tarski |
H. E. Vaughan |
The Journal of Symbolic Logic |
1949 |
| Introduction to logic and to the methodology of deductive sciences. Translated by Olaf Helmer |
Alfred Tarski |
Alonzo Church |
The Journal of Symbolic Logic |
1947-06-23 |
| Introduction to Logic and to the Methodology of Deductive Sciences Alfred Tarski Olaf Helmer |
Alfred Tarski |
E. Toms |
Philosophy |
1944-04-00 |
| Introduction to logic and to the methodology of deductive sciences |
Alfred Tarski |
Everett J. Nelson |
The Philosophical Review |
1942-09-00 |
