Begrn̈dung des “tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit (1924)

by W Ackermann
Venue:Mathematische Annalen