Résumé:
Le cours de Logique en L3 apporte un approfondissement des connaissances en logique du premier ordre et une initiation à la logique intuitionniste.
Bibliographie:
Bell & DeVidi & Solomon , Logical Options , an Introduction to Classical and Alternative Logics , Broadview Press, Canada, 2001.
Enseignant:
Année:
L3
Identifiant:
UE603 EC1
Semestre:
2