×

zbMATH — the first resource for mathematics

ET and infinitary Church’s thesis. (Czech) Zbl 0871.03032
Translated from Math. Intell. 17, No. 3, 57-61 (1995). See the review in Zbl 0852.03018.
MSC:
03D20 Recursive functions and relations, subrecursive hierarchies
03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
00A08 Recreational mathematics
PDF BibTeX XML Cite
Full Text: EuDML