- Metalogic: An Introduction to the Metatheory of Standard First Order Logic.M. J. Cresswell & Geoffrey Hunter - 1972 - Philosophical Quarterly 22 (86):79.details
|
|
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.details
|
|
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.details
|
|
(1 other version)Computability and Logic.Stephen Leeds - 1977 - Journal of Symbolic Logic 42 (4):585-586.details
|
|
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.details
|
|
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.details
|
|
The Complete Works: The Rev. Oxford Translation.Jonathan Barnes (ed.) - 1984 - Princeton, N.J.: Princeton University Press.details
|
|
The Complete Works of Aristotle. The Revised Oxford Translation.Jonathan Barnes - 1986 - Revue Philosophique de la France Et de l'Etranger 176 (4):493-494.details
|
|
Tarski's Theory of Truth.Hartry Field - 1972 - Journal of Philosophy 69 (13):347.details
|
|
On the Metamathematics of Algebra.Abraham Robinson - 1952 - Journal of Symbolic Logic 17 (3):205-207.details
|
|
Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.details
|
|
Non-standard Analysis.Gert Heinz Müller - 2016 - Princeton University Press.details
|
|
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
Metalogic: an introduction to the metatheory of standard first order logic.Geoffrey Hunter - 1971 - Berkeley,: University of California Press.details
|
|
Mathematical logic: a first course.Joel W. Robbin - 1969 - Mineola, N.Y.: Dover Publications.details
|
|
(1 other version)Logic: The Laws of Truth.Nicholas J. J. Smith - 2012 - Princeton, N.J.: Princeton University Press.details
|
|
Truthier Than Thou: Truth, Supertruth and Probability of Truth.Nicholas J. J. Smith - 2015 - Noûs 50 (4):740-58.details
|
|
Introduction to Model Theory and the Metamathematics of Algebra.Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56.details
|
|
What languages have Tarski truth definitions?Wilfrid Hodges - 2004 - Annals of Pure and Applied Logic 126 (1-3):93-113.details
|
|
(1 other version)Tarski, truth and model theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.details
|
|
(1 other version)Introduction to Mathematical Logic.D. van Dalen - 1964 - Journal of Symbolic Logic 45 (3):631-631.details
|
|
Truth in a Structure.Wilfrid Hodges - 1986 - Proceedings of the Aristotelian Society 86:135 - 151.details
|
|
A mathematical introduction to logic.Herbert Bruce Enderton - 1972 - New York,: Academic Press.details
|
|
On the Foundations of Geometry and Formal Theories of Arithmetic.Gottlob Frege - 1974 - Mind 83 (329):131-133.details
|
|
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
(1 other version)Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp. [REVIEW]Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.details
|
|
(3 other versions)Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.details
|
|
(1 other version)On the Foundations of Geometry and Formal Theories of Arithmetic.Howard Jackson - 1981 - Journal of Symbolic Logic 46 (1):175-179.details
|
|
(2 other versions)Formal Logic: Its Scope and Limits.Timothy McCarthy - 1967 - Journal of Symbolic Logic 49 (4):1408-1409.details
|
|
Tarski's conceptual analysis of semantical notions.Solomon Feferman - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 72.details
|
|
(2 other versions)A Mathematical Introduction to Logic.J. R. Shoenfield - 1973 - Journal of Symbolic Logic 38 (2):340-341.details
|
|