|
|
LOGICA
|
Indice generale: documento postscript - documento PDF
Programmi OCaml presentati nel capitolo 4
Integrazioni (soluzioni di esercizi non incluse in Appendice)
Errata corrige
Sul sito di
XEmacs si può trovare anche un breve README per l'istallazione.