Logica matematica/Risorse internet: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 33:
''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/]]
| |||