On a system of axioms which has no recursively enumerable arithmetic model
- 1 January 1953
- journal article
- Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
- Vol. 40, 56-61
- https://doi.org/10.4064/fm-40-1-56-61
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: