Title: Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls
Subjects: Symbolic and mathematical Logic
People: Gottlob Frege (1848-1925)