Enderton – Computability theory
Libro adottato a Bologna, a.a. 2026/2027 · 1 canale
«Enderton – Computability theory» è adottato per Logica Matematica dal prof. Martino Lupini (Matematica – Bologna).
Enderton – Computability theoryCerca su Amazon ›
Come lo indica il docente: Enderton, Herbert B. Computability theory. An introduction to recursion theory. Elsevier/Academic Press, Amsterdam, 2011. xii+174 pp. ISBN: 978-0-12-384958-8
- Titolo
- Computability theory
- Autori
- Herbert B. <1936-2010> Herbert B. Enderton Enderton
- Editore
- Elsevier, 2011
- ISBN
- 9780123849588
Chi lo adotta
- Logica Matematica – Prof. Martino Lupini (canale unico)Matematica · Laurea triennale (L-35) · esame facoltativo · 6 CFU
Programma e testi di ogni canale
Logica Matematica – Prof. Martino Lupini Canale unico
Corso di laurea: Matematica · Laurea triennale (L-35) · esame facoltativo · 6 CFU
Il docente indica 5 testi · da studiare tutti
Enderton – A mathematical introduction to logicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Enderton – Computability theoryquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
- Il corso si avvarra' di dispense preparate dal docente.
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.