Hans Hermes

• Introduction to mathematical logic
• Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
• Die Rolle der Logik beim Aufbau Naturwissenschaftlicher Theorien
• Eine Termlogik mit Auswahloperator
• Einführung in die mathematische Logik
• Einführung in die Verbandstheorie
• Introduction to Mathematical Logic (Universitext)
• Zahlen
• Aufzählbarkeit Entscheidbarkeit Berechenbarkeit
• Beitrag zur Behandlung der KniesXcheibenbrüche
• Die Rolle der Logik beim Aufban naturwissenschaftlicher Theorien
• Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls