Logic and Computation Seminar
Home Seminars Registration Contacts
 
Edition

02/02/2001, Friday, 16:30–17:30
Room P3.10, Mathematics Building

João Marcos, Universidade Estadual de Campinas

On inconsistency and undefinedness

IT Técnico FCT