Begründung des tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit (1924)

by W Ackermann
Venue:Mathematische Annalen