Applications of formalized consistency proofs II

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

G. Kreisel, Hao Wang Fundamenta Mathematicae 45 (1958), 334-335 DOI: 10.4064/fm-45-1-334-335