Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi
- 1 January 1961
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 7 (1-5) , 28-38
- https://doi.org/10.1002/malq.19610070107
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- The classical and the ω-complete arithmeticThe Journal of Symbolic Logic, 1958