Title: A decision method for elementary algebra and geometry
First published: 1948
Subjects: Abstract Algebra, Algebra, Abstract, Geometry, Gödel's theorem, Logic, Symbolic and mathematical, Recursive functions, Symbolic and mathematical Logic
LC classification: QA266 .T33 1951