Libri UniversitariBoolos – Computability and Logic
Libro adottato a Padova, a.a. 2026/2027 · 1 canale
«Boolos – Computability and Logic» è adottato per Logic And Foundations Of Computability dal prof. Michele Pra Baldi (Social Sciences and Digital Data – sede di Padova – Padova).
Boolos – Computability and LogicCerca su Amazon ›
Come lo indica il docente: Boolos, G., Jeffrey, R. C., & Burgess, J. P. (2007). Computability and Logic. Cambridge: Cambridge University Press
- Titolo
- Computability and logic
- Autori
- George Boolos
- Editore
- Cambridge University Press, 2007
- ISBN
- 9780521701464
Chi lo adotta
- Logic And Foundations Of Computability – Prof. Michele Pra Baldi (canale unico)Social Sciences and Digital Data – sede di Padova · Laurea magistrale (LM-88) · esame facoltativo · 6 CFU
Programma e testi di ogni canale
Logic And Foundations Of Computability – Prof. Michele Pra Baldi Canale unico
Corso di laurea: Social Sciences and Digital Data – sede di Padova · Laurea magistrale (LM-88) · esame facoltativo · 6 CFU
Il docente indica 2 testi · da studiare tutti
Boolos – Computability and Logicquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Smith – Introduction to Formal LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Bacheca del docente: cosa indica di studiare
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.