Modern Logic

Myhill's theory of combinatorial functions

J. C. E. Dekker

Full-text: Open access

Abstract

This is an expository account of the theory of combinatorial functions introduced by J. Myhill in 1958.

Article information

Source
Mod. Log., Volume 1, Number 1 (1990), 3-21.

Dates
First available in Project Euclid: 6 March 2008

Permanent link to this document
https://projecteuclid.org/euclid.rml/1204834536

Mathematical Reviews number (MathSciNet)
MR1082491

Zentralblatt MATH identifier
0707.05003

Subjects
Primary: 05A10: Factorials, binomial coefficients, combinatorial functions [See also 11B65, 33Cxx]
Secondary: 03D45: Theory of numerations, effectively presented structures [See also 03C57; for intuitionistic and similar approaches see 03F55]

Citation

Dekker, J. C. E. Myhill's theory of combinatorial functions. Mod. Log. 1 (1990), no. 1, 3--21. https://projecteuclid.org/euclid.rml/1204834536


Export citation