✦ LIBER ✦

Classifications of Recursive Functions by Means of Hierarchiesby Solomon Feferman

✍ Scribed by Review by: Rózsa Péter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Transfinite Recursive Progressions of Ax

✍ Review by: R. A. DiPaola 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 375 KB

Recursive Progression of Intuitionistic

✍ Review by: Solomon Feferman 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 123 KB

On Recursive Models of Formalised Arithm

✍ Review by: Solomon Feferman 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 359 KB

Solution of a Problem of Tarskiby John M

✍ Review by: Solomon Feferman 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 216 KB

Introducing functional classification th

✍ Frank Witlox; Marc Antrop; Peter Bogaert; Philippe De Maeyer; Ben Derudder; Tijs 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 225 KB

Automatic Classification of Athletes Wit

✍ Cheng Cao; Tutwiler, R.L.; Slobounov, S. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 917 KB