A decision method for elementary algebra and geometry
A decision method for elementary algebra and geometry1948
Details
- First published
- 1948
- OL Work ID
- OL1383424W
Subjects
Abstract AlgebraAlgebra, AbstractGeometryGödel's theoremLogic, Symbolic and mathematicalRecursive functionsSymbolic and mathematical Logic