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
- Daniele Mundici, Logica: Metodo Breve, Springer, 2011. ISBN 978-88-470-1883-9
- Giangiacomo Gerla, Logica Fuzzy, 2011
- Mario Servi, Lezioni di Logica. II Edizione, Aracne, 2011. ISBN: 978-88-548-4076-8
- Vito Michele Abrusci, Lorenzo Tortora de Falco:
- Logica: Volume 1 – Dimostrazione e modelli al primo ordine, 2014. ISBN 978-88-470-5538-4.
- Logica: Volume 2 – Incompletezza, teoria assiomatica degli insiemi, 2018. ISBN 978-88-470-3968-1.
Testi liberamente consultabili segnalati dai soci
In ordine di segnalazione
- Flavio Previale Due Crediti di Logica
- Giangiacomo Gerla Materiale per la didattica
- Alessandro Berarducci Dispense 2014
- Alberto Marcone Dispense 2014
- Domenico Zambella Dispense