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 pdfexcel
Teoria dei modelli
A cura di Carlo Toffalori pdfexcel
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