Home - Personal - Affiliations - Activities - Talks - Publications - Research - Reception of my work - Teaching - Students - Links
Sites of personal interest
The Wadsworth Philosophy Shoppe: Computability
AMS Bookstore - Advances in Contemporary Logic and Computer Science
AMS Bookstore
Interlingua, a common root of neolatin languages
Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG )
Students, former students and colleagues personal pages
Mamede Lima Marques
Marcelo Coniglio
João Marcos
Juliana Bueno