Some applications of formalized consistency proofs

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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