Note on arithmetic models for consistent formulae of the predicate calculus
Open Access
- 1 January 1950
- journal article
- Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
- Vol. 37, 265-285
- https://doi.org/10.4064/fm-37-1-265-285