Author:
Feferman Solomon,Dawson John W,Goldfarb Warren,Parsons Charles,Sieg Wilfried
Publisher
Oxford University PressOxford
Reference949 articles.
1. Begriindung des “tertium non datur” mitt els der Hilbert schen Theorie der Widerspruchsfreiheit;Mathematische Annalen,1924
2. Zur Widerspruchsfreiheit der Zahlentheorie;Mathematische Annalen,1940
3. Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweit- ertes System),;Mathematische Zeitschrift,1951
4. Widerspruchsfreier Aufbau einer typenfreien Logik, II;Mathematische Zeitschrift,1952