Logica/Risorse internet

Wikibooks, manuali e libri di testo liberi.

Internet è una miniera di risorse per la logica matematica.

Molti corsi universitari rendono disponibili le dispense utilizzate, Wikipedia stessa è una fonte preziosa di articoli sulla logica.

Risorse in Italiano[modifica]

da Wikipedia w:Logica matematica

da Internet

Elementi di Logica dall' Università di Torino [1]

Introduzione alla logica elementare dall ' Università di Milano [2]

Logica Matematica dall' Università di Roma [3]

Appunti di Logica Matematica dall' Università di Padova [4]

Teorie Assiomatiche dall' Università di Padova [5]

Risorse in Inglese[modifica]

da Wikipedia

Logic w:en:Logic

Formal logic [6]

Logic for computer scientists [7]

da Internet

for all X [8]

A primer for Logic and Proof [9]

Logic for Computer Science:Foundations of Automatic Theorem Proving [10]

A Problem Course in Mathematical Logic [11]

Model theory [12]

Fundamentals of Model Theory [13]

[14]