No-categoricity in first-order predicate calculus1
- 11 February 2008
- Vol. 25 (2) , 82-94
- https://doi.org/10.1111/j.1755-2567.1959.tb00294.x
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- The completeness of the first-order functional calculusThe Journal of Symbolic Logic, 1949