Temi di Logica Matematica (SISSIS) (A.A. 2008/09)

N. ore

25

Orario delle lezioni

Mercoledì dalle 15:00 alle 17:30 (Aula 128)

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.