van Dalen – Logic and Structure

Libro adottato a Trento, Genova, a.a. 2026/2027 · 3 canali

«van Dalen – Logic and Structure» è adottato per Logica e Algebra dai docenti Emanuela De Negri, Alessandro Oneto, Alessandro De Stefani, Aldo Conca, Matteo Varbaro, Anna Maria Bigatti, Sara Negri e Maria Rosaria Pati (Matematica – Genova); per Mathematical Logic dal prof. Stefano Baratella (Mathematics – sede di Trento – Trento); per Logica Matematica dal prof. Sara Negri (Metodologie filosofiche – Genova).

Come lo indica il docente: van Dalen, D., Logic and Structure, Springer, 2013 · van Dalen D., Logic and Structure (4th edition or later), Springer

Chi lo adotta

• Genova · Logica e Algebra – Prof. Emanuela De Negri, Prof. Alessandro Oneto, Prof. Alessandro De Stefani, Prof. Aldo Conca, Prof. Matteo Varbaro, Prof. Anna Maria Bigatti, Prof. Sara Negri, Prof. Maria Rosaria Pati (canale unico)Matematica · Laurea magistrale (LM-40) · 1º anno · tutto l'anno (semestre non indicato) · 12 CFU
• Trento · Mathematical Logic – Prof. Stefano Baratella (canale unico)Mathematics – sede di Trento · Laurea magistrale (LM-40) · 2º anno · 1º semestre · 6 CFU / 1º anno · 1º semestre · 6 CFU
• Genova · Logica Matematica – Prof. Sara Negri (canale unico)Metodologie filosofiche · Laurea magistrale (LM-78) · 1º anno · 1º semestre · 6 CFU

Programma e testi di ogni canale

Si studia insieme a

• Abrusci – Volume 1 Dimostrazioni e modelli al primo…
• Le Monnier
• Masini – In Viaggio con la Logica Simbolica
• von Plato, J. Elements of Logical Reasoning, Cambridge
• Schwichtenberg – Mathematical Logic
• Shoenfield – Mathematical Logic