✦ LIBER ✦

Recursive Function Theory and Logic.by Ann Yasuhara

✍ Scribed by Review by: Joseph S. Ullian

Book ID: 124972229
Publisher: Association for Symbolic Logic
Year: 1975
Tongue: English
Weight: 105 KB
Volume: 40
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2271829

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Universitext] A Course on Mathematical

[Universitext] A Course on Mathematical Logic || Recursive Functions and Arithmetization of Theories

✍ Srivastava, Shashi Mohan 📂 Article 📅 2012 🏛 Springer New York ⚖ 220 KB

Recursive function theory and numerical

Recursive function theory and numerical analysis

✍ Webb Miller 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 436 KB

We consider the role of subclasses of the recursive functions in proving nonexistence of certain numerical methods. In particular, an initial value problem is treated.

Recursive Function Theory and Numerical

Recursive Function Theory and Numerical Analysis.by Webb Miller

✍ Review by: J. P. Cleave 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 206 KB

Recursive Function Theory and Speed of C

Recursive Function Theory and Speed of Computation.by Manuel Blum

✍ Review by: Paul Young 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 223 KB

Real-world computers and recursive funct

Real-world computers and recursive function theory

✍ Aaron Shenhar 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 638 KB

Application of Recursive Function Theory

Application of Recursive Function Theory to Number Theory.by Martin Davis

✍ Review by: Julia Robinson 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 110 KB