A decision method for elementary algebra and geometry
Abstract AlgebraAlgebra, AbstractGeometryGödel's theoremLogic, Symbolic and mathematicalRecursive functionsSymbolic and mathematical Logic
Writing a summary for young readers…
For young readers
Book data: Open Library