Some applications of formalized consistency proofs

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

G. Kreisel, Hao Wang Fundamenta Mathematicae 42 (1955), 101-110 DOI: 10.4064/fm-42-1-101-110