SEMINAIRE DE LOGIQUE
Aucune activité prévue cet automne (2010).
DOCUMENTS (transparents
des exposés etc.)
2005-2006
L'automne et l'hiver sont consacrés à
un séminaire pour les étudiants sur les théorèmes
d'incomplétude de Gödel*,
en préparation au colloque
Gödel qui aura lieu pendant le congrès annuel de
Association for Symbolic Logic (ASL),
à l'UQAM du 17 au 21 mai 2006.
années
antérieures 1998-2009
INFORMATION
Luc Bélair, belair.luc@uqam.ca
Jean-Pierre Marquis, jean-pierre.marquis@umontreal.ca
Dernière mise à jour
: 10-09-20 / LB .