Finite Definability of Number-Theoretic Functions and Parametric Completeness of Equational Calculi
Georg Kreisel, William W. TaitVolume:
7
Year:
1961
Language:
english
Pages:
11
DOI:
10.1002/malq.19610070107
File:
PDF, 628 KB
english, 1961