Temi di Logica Matematica (SISSIS) (A.A. 2007/08)

N. ore

25

Orario delle lezioni

(Martedì e) Giovedì dalle 15:00 alle 17:30 (Aula 1)

Orario di ricevimento

vai su UNIWEB

Testi consigliati

• Melvin Fitting. First-Order Logic and Automated Theorem Proving, Springer-Verlag New York, Inc., 2 edition, 1995.