The completeness of elementary algebra and geometry.
Contributors: Institut Blaise Pascal.
Publisher: Centre national de la recherche scientifique, Institut Blaise Pascal
Published: 1967
Place of publication: Paris
Language: eng
Number of pages: 50
Subjects: Logic, Symbolic and mathematical.; Axioms.; Gödel's theorem.
Notes: Bibliography: p. 48-50.
Limited edition of 100 copies.
Reproduction of page proofs scheduled to appear in 1940, but never published. In 1948, an edition revised by J. C. C. McKinsey was published under the title: A decision method for elementary algebra and geometry.