Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie

This publication has 5 references indexed in Scilit:

• Nichteuklidische Geometrie
  Published by Walter de Gruyter GmbH ,1953
• A Decision Method for Elementary Algebra and Geometry
  Published by University of California Press ,1951
• Über deduktive Theorien mit mehreren Sorten von Grunddingen
  Mathematische Annalen, 1938
• Nichteuklidische Geometrie
  Published by Walter de Gruyter GmbH ,1923
• Neue Begründung der Bolyai-Lobatschefskyschen Geometrie
  Mathematische Annalen, 1903