Introduction to proof theory, Handbook of proof theory ,
Euclidean and non-Euclidean geometries: Development and history, 2008. ,
Contributions to the axiomatic foundations of geometry, 1965. ,
Introduction to metamathematics, van Nostrand, 1952. ,
Reprinted 2012 by Ishi Press, with a new foreword by Michael Beeson. [10] T. Skolem, Logisch-kombinatorische UntersuchungenüberUntersuchungen¨Untersuchungenüber die Erfüllbarkeit mathematischer Satzsysteme, nebst einem theoremë uber dichte mengen [11] Alfred Tarski, A Decision Method for Elementary Algebra and Geometry Tarski's system of geometry, The Bulletin of Symbolic Logic [13] O. Veblen, A system of axioms for geometry, Transactions of the, Metamathematische Methoden in der Geometrie: Teil I: Ein axiomatischer Aufbau der euklidischen Geometrie . Teil II: Metamathematische Betrachtungen (Hochschultext), pp.103-136, 1882. ,