Logica matematica/Risorse internet: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 8:
 
da Internet
 
[[http://cesare.dsi.uniroma1.it/~logica/dispense.html]]
''Elementi di Logica'' dall' Università di Torino [[http://alpha01.dm.unito.it/personalpages/zambella/papers/elementi/]]
 
[[http://www.math.unipd.it/~silvio/Corsi/Dispense/Appunti.pdf]]
''Introduzione alla logica elementare'' dall ' Università di Milano [[http://homes.dsi.unimi.it/~logica/doc/base_pred_07.pdf]]
[[http://www.math.unipd.it/~azanardo/ssis/Teor_Ass.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]]
 
== Risorse in Inglese ==
Line 19 ⟶ 25:
 
da Internet
 
''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]]
 
[[http://math.ucsd.edu/~sbuss/ResearchWeb/HandbookProofTheory/]]