Logica matematica/Risorse internet: differenze tra le versioni

[[http://it.wikipedia.org/wiki/Logica_matematica]]

''Elementi di Logica'' dall' Università di Torino [[http://alpha01.dm.unito.it/personalpages/zambella/papers/elementi/]]

''Introduzione alla logica elementare'' dall ' Università di Milano [[http://homes.dsi.unimi.it/~logica/doc/base_pred_07.pdf]]

''Logica Matematica'' dall' Università di Roma [[http://cesare.dsi.uniroma1.it/~logica/dispense.html]]

''Appunti di Logica Matematica'' dall' Università di Padova [[http://www.math.unipd.it/~silvio/Corsi/Dispense/Appunti.pdf]]

''Teorie Assiomatiche'' dall' Università di Padova [[http://www.math.unipd.it/~azanardo/ssis/Teor_Ass.pdf]]

Logic [[http://en.wikipedia.org/wiki/Logic]]

Formal logic [[http://en.wikibooks.org/wiki/Formal_Logic]]

Logic for computer scientists [[http://en.wikibooks.org/wiki/Computer_Science:Logic]]

''for all X'' [[http://www.fecundity.com/codex/forallx.pdf]]

''A primer for Logic and Proof'' [[http://www.mathsci.appstate.edu/~jlh/primer/hirst.pdf]]

''Logic for Computer Science:Foundations of Automatic Theorem Proving'' [[http://www.cis.upenn.edu/~jean/gbooks/logic.html]]

''A Problem Course in Mathematical Logic'' [[http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf]]

''Model theory'' [[http://www.math.psu.edu/simpson/courses/math563/master.pdf]]

''Fundamentals of Model Theory'' [[http://www.math.utoronto.ca/~weiss/model_theory.html]]

[[http://math.ucsd.edu/~sbuss/ResearchWeb/HandbookProofTheory/]]