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.

[modifica] Risorse in Italiano

da Wikipedia [[1]]

da Internet

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

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

Logica Matematica dall' Università di Roma [[4]]

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

Teorie Assiomatiche dall' Università di Padova [[6]]

[modifica] Risorse in Inglese

da Wikipedia

Logic [[7]]

Formal logic [[8]]

Logic for computer scientists [[9]]

da Internet

for all X [[10]]

A primer for Logic and Proof [[11]]

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

A Problem Course in Mathematical Logic [[13]]

Model theory [[14]]

Fundamentals of Model Theory [[15]]

[[16]]