Bibliografie di logica
In questa sezione si mettono a disposizione alcuni riferimenti bibliografici intesi per orientare il lettore interessato ad avvicinarsi alla logica oppure ad approfondirne un aspetto particolare.
- Teoria degli insiemi
- A cura di Gabriele Lolli
- pdf -
excel
- Teoria dei modelli
- A cura di Carlo Toffalori
- pdf -
excel
- Teoria della dimostrazione
- A cura di Andrea Cantini
- pdf
- Teoria della computabilità
- A cura di Andrea Sorbi
- pdf
- Storia della Logica
- A cura di Massimo Mugnai
- pdf
- Filosofia della matematica
- A cura di Gabriele Lolli
- pdf
- Logiche a più valori
- A cura di Franco Montagna
- pdf
Testi segnalati dai soci
In ordine di segnalazione
Testi liberamente consultabili segnalati dai soci
In ordine di segnalazione