A decision method for elementary algebra and geometry

Materias

• Abstract Algebra
• Algebra, Abstract
• Geometry
• Gödel's theorem
• Logic, Symbolic and mathematical
• Recursive functions
• Symbolic and mathematical Logic

Ediciones (3)

• A decision method for elementary algebra and geometry (1957)

  Rand · inglés

• A decision method for elementary algebra and geometry (1951)

  University of California Press · inglés

• A decision method for elementary algebra and geometry (1948)

  Rand Corporation · inglés

Más obras de Tarski, Alfred.