Celebrating Kurt Gödel's Centennial (1906--2006)

attachment:ebl-logo.jpg

Brazilian Logic Society and Association for Symbolic Logic -- April 24--28 / 2006

Sponsors

http://www.capes.gov.br

http://www.puc-rio.br

http://www.cle.unicamp.br

http://www.cnpq.br

http://www.cle.unicamp.br/sbl

TecMF: EBL06 (last edited 2010-08-11 15:16:53 by localhost)