GRAPHSCHEMATA UND REKURSIVE FUNKTIONEN
Open Access
- 1 December 1958
- journal article
- Published by Verein philosophie.ch in Dialectica
- Vol. 12 (3-4), 373-393
- https://doi.org/10.1111/j.1746-8361.1958.tb01470.x
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Some problems of definability in the lower predicate calculusFundamenta Mathematicae, 1957
- Note on a problem of L. HenkinThe Journal of Symbolic Logic, 1956
- Completeness and persistence in the theory of modelsMathematical Logic Quarterly, 1956
- On the extending of models (I)Fundamenta Mathematicae, 1955
- Contributions to the Theory of Models. IIndagationes Mathematicae, 1954
- A Decision Method for Elementary Algebra and GeometryPublished by University of California Press ,1951