H. Hermes, Enumerability, Decidability, Computability. An Introduction to the Theory of Recursive Functions (Mathematischen Wissenschaften Band 127, Springer-Verlag, 1965), X + 245 Pp., DM39.

Proceedings of the Edinburgh Mathematical Society - United Kingdom
doi 10.1017/s0013091500012244
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Iterated Relative Recursive Enumerability

Archive for Mathematical Logic
PhilosophyLogic
1994English

Alfred Ackermann-Teubner-Gedächtnispreis Zur Förderung Der Mathematischen Wissenschaften

Mathematische Zeitschrift
Mathematics
1929English

Book Review: Abhandlungen Zur Geschichte Der Mathematischen Wissenschaften

Bulletin of the American Mathematical Society
1906English

Mathematical Methods in Risk Theory by Bühlmann Hans, Springer-Verlag, Berlin, Heidelberg, New York 1970. Pp. XII + 210.

ASTIN Bulletin
AccountingEconomicsEconometricsFinance
1971English

Book Review: An Introduction to the Theory of Multiply Periodic Functions

Bulletin of the American Mathematical Society
1910English

Alfred Ackermann-Teubner-Gedächtnispreis Zur Förderung Der Mathematischen Wissenschaften

Monatshefte fur Mathematik
Mathematics
1935English

Domination, Forcing, Array Nonrecursiveness and Relative Recursive Enumerability

Journal of Symbolic Logic
PhilosophyLogic
2012English

O. Endler, Valuation Theory (Springer-Verlag, Berlin–Heidelberg–New York, 1972), Xii + 243 Pp., Soft Cover DM 25, US $8.00.

Proceedings of the Edinburgh Mathematical Society
Mathematics
1974English

E. Grosswald, Representations of Integers as Sums of Squares (Springer-Verlag, 1985) 251 Pp., DM 148.

Proceedings of the Edinburgh Mathematical Society
Mathematics
1987English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy