R. Samuel and . Buss, Introduction to proof theory, Handbook of proof theory

M. Jay-greenberg and W. H. Freeman, Euclidean and non-Euclidean geometries: Development and history, 2008.

G. Haragauri-narayan, Contributions to the axiomatic foundations of geometry, 1965.

C. Stephen and . Kleene, Introduction to metamathematics, van Nostrand, 1952.

M. Pasch, M. Dehn, B. G. Vorlesungübervorlesung¨vorlesungüber-neuere-geometrie, and . Teubner, 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.