Axiomatische Untersuchung des Aussagen-Kalkuls der “Principia mathematica (1926)

by P Bernays
Venue:Mathematische Zeitschrift