On minimal models of first‐order systems
- 1 April 1960
- Vol. 26 (1), 44-52
- https://doi.org/10.1111/j.1755-2567.1960.tb01076.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