Logica matematica/Risorse internet

Indice del libro


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]