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/]]
|