Begründing des “tertium non datur” mittels der Hilbertschen Theorie der Wiederspruchsfreiheit (1924)

by Wilhelm Ackermann
Venue:Mathematische Annalen