Some applications of formalized consistency proofs
Open Access
- 1 January 1955
- journal article
- Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
- Vol. 42 (1) , 101-110
- https://doi.org/10.4064/fm-42-1-101-110
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: