Applications of formalized consistency proofs II

DOI10.4064/FM-45-1-334-335MaRDI QIDQ5528661zbMATH OpenOpenAlexFDO

Authors Hao Wang, Georg Kreisel

Publication date 1958

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/213476

zbMATH Keywords

set theory

This page was built for publication: Applications of formalized consistency proofs II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5528661)