Editing Metamathematics (section)

== Further reading ==
* W. J. Blok and Don Pigozzi, "[https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/alfred-tarskis-work-on-general-metamathematics/681F62DFAFE093561104304BDCF86C92 Alfred Tarski's Work on General Metamathematics]", ''The Journal of Symbolic Logic'', v. 53, No. 1 (Mar., 1988), pp.&nbsp;36&ndash;50.
* I. J. Good. "A Note on Richard's Paradox". ''Mind'', New Series, Vol. 75, No. 299 (Jul., 1966), p.&nbsp;431. [https://www.jstor.org/stable/2251836 JStor]
* [[Douglas Hofstadter]], 1980. ''[[Gödel, Escher, Bach]]''. Vintage Books. Aimed at laypeople.
* [[Stephen Cole Kleene]], 1952. ''Introduction to Metamathematics''. North Holland. Aimed at mathematicians.
* Jules Richard, ''Les Principes des Mathématiques et le Problème des Ensembles'', ''Revue Générale des Sciences Pures et Appliquées'' (1905); translated in Heijenoort J. van (ed.), ''Source Book in Mathematical Logic 1879-1931'' (Cambridge, Massachusetts, 1964).
* [[Alfred North Whitehead]], and [[Bertrand Russell]]. ''[[Principia Mathematica]]'', 3 vols, Cambridge University Press, 1910, 1912, and 1913. Second edition, 1925 (Vol. 1), 1927 (Vols 2, 3). Abridged as ''Principia Mathematica to *56'', Cambridge University Press, 1962.

{{Metalogic}}
{{Areas of mathematics |collapsed}}
{{Logic}}

{{Authority control}}

[[Category:Mathematical logic]]
[[Category:Logic]]
[[Category:Metatheory]]