Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi

DOI10.1002/malq.19610070107zbMath0116.00506OpenAlexW2086565140MaRDI 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

zbMATH Keywords

mathematical logic

Related Items (4)

Recursive Functions of One Variable ⋮ The Functional Interpretation of Direct Computations ⋮ On the logic of unification ⋮ Natural Deduction for Equality: The Missing Entity

This page was built for publication: Finite Definability of Number‐Theoretic Functions and Parametric Completeness of Equational Calculi