Ein neuer Vollständigkeitsbeweis für das reduzierte Fregesche Axiomensystem des Aussagenkalküls - Hermes, Hans 1912-2003; Scholz, Heinrich 1884-1956 (Hirzel, 1937)