Logica matematica/Risorse internet
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 | modifica sorgente]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 | modifica sorgente]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]