Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi
From MaRDI portal
Publication:5724776
DOI10.1002/malq.19610070107zbMath0116.00506MaRDI QIDQ5724776
Georg Kreisel, William W. Tait
Publication date: 1961
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19610070107
Related Items
The Functional Interpretation of Direct Computations, Natural Deduction for Equality: The Missing Entity, Recursive Functions of One Variable, On the logic of unification