Abstract
This is an expository account of the theory of combinatorial functions introduced by J. Myhill in 1958.
Citation
J. C. E. Dekker. "Myhill's theory of combinatorial functions." Mod. Log. 1 (1) 3 - 21, June 1990.
Information
Published: June 1990
First available in Project Euclid: 6 March 2008
zbMATH: 0707.05003
MathSciNet: MR1082491
Subjects:
Primary:
05A10
Secondary:
03D45
Rights: Copyright © 1990 The Review of Modern Logic