Logica matematica/Risorse internet: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
cat |
|||
Riga 30:
da Internet
''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]]
| |||