Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls
by Hans Hermes
Symbolic and mathematical Logic
Writing a summary for young readers…
For young readers
Book data: Open Library
by Hans Hermes
Book data: Open Library