Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /

Table of Contents: “…Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to …”
Full Text (via Springer)

Geometry Euclid and beyond / by Hartshorne, Robin

Table of Contents: “…Euclid's geometry -- Hilbert's axioms -- Geometry over fields -- Segment arithmetic …”
Full Text (via Springer)

Thinking geometrically : a survey of geometries / by Sibley, Thomas Q.

Table of Contents: “…Euclidean Geometry -- C. Hilbert's Axioms for Euclidean Plane Geometry -- D. Linear …”

Euclidean and non-Euclidean geometries : development and history / by Greenberg, Marvin J.

Table of Contents: “…geometry -- Logic -- Hilbert's axioms -- Neutral geometry -- History of the …”

Projective and Euclidean geometry. by Fishback, W. T. (William Thompson)

Table of Contents: “…axiom systems -- Hilbert's axioms : Axioms of existence and incidence ; …”

Euclidean and non-Euclidean geometries : development and history / by Greenberg, Marvin J.

Table of Contents: “…incidence geometry -- Hilbert's axioms -- Neutral geometry -- History of the …”
Publisher description

A Course in Modern Geometries by Cederberg, Judith N.

Table of Contents: “…of Book I -- B. Hilbert's Axioms for Plane Geometry -- C. Birkhoff's Postulates …”
Full Text (via Springer)

David Hilbert and the axiomatization of physics (1898-1918) : from Grundlagen der Geometrie to Grundlagen der Physik / by Corry, Leo, 1956-

Table of Contents: “…Book -- Appendix 7. Hilberts Axioms for Radiation Theory -- References. Commonly …”
Full Text (via Springer)

The Foundations of Geometry and the Non-Euclidean Plane / by Martin, George E.

Full Text (via Springer)