Résumé:
Le cours de Logique en L3 apporte un approfondissement des connaissances en logique du premier ordre (déducion naturelle) 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
Modalités de contrôle des connaissances:
2 tests sur https://carnap.io