Libri UniversitariMorten Heine – Sørensen and Paweł Urzyczyn
Libro adottato a Torino, a.a. 2026/2027 · 1 canale
«Morten Heine – Sørensen and Paweł Urzyczyn» è adottato per Storia della Logica dal prof. Francesco Antonio Genco (Filosofia – sede di Torino – Torino).
Morten Heine – Sørensen and Paweł UrzyczynCerca su Amazon ›
Come lo indica il docente: Morten Heine B. Sørensen and Paweł Urzyczyn, Lectures on the Curry-Howard Isomorphism , in Studies in Logic and the Foundations of Mathematics , vol. 149, Elsevier, 2006
Chi lo adotta
- Storia della Logica – Prof. Francesco Antonio Genco (canale unico)Filosofia – sede di Torino · Laurea triennale (L-5) · esame facoltativo · 6 CFU
Programma e testi di ogni canale
Storia della Logica – Prof. Francesco Antonio Genco Canale unico
Corso di laurea: Filosofia – sede di Torino · Laurea triennale (L-5) · esame facoltativo · 6 CFU
Il docente indica 7 testi · da studiare tutti
Mancosu – An introduction to proof theoryCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Brouwer – Collected Works 1Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Hermann Weyl – The ContinuumCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Gerhard Gentzen – The concept of infinity in mathematicsCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Kurt Gödel – Über eine bisher noch nicht benützte Erweiterung…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoDa studiare: Pp. 280-287, 1958. English translation: Kurt Gödel, "On an extension of finitary methods which has not yet been used", in Gödel, Collected Works , vol. II, New York: Oxford University Press, 1994Verificato sulla scheda ufficiale il 02/10/2026
Elsevier – Gödel’s Functional (Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Morten Heine – Sørensen and Paweł Urzyczynquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
- Del materiale aggiuntivo verrà fornito durante il corso, se necessario.
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.