m
     
Ouvrage

H 0 Introduction à la logique :
théorie de la démonstration#cours et exercices corrigés

David, René (Principal) ; Nour, Karim (Co-auteur) ; Raffalli, Christophe (Co-auteur)

Dunod

2001

332 p.

978-2-10-004892-2

00024392

03Bxx ; 03-01

logique # enseignement # théorie de la démonstration # complétude de la logique # logique du premier ordre # logique d'ordre supérieure # logique intuitionniste # modèle de Kripke # calcul des séquents # démonstration automatique # PHOX

Ville d'édition : Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782100048922

ISBN : 2-10-004892-9

Collation : 24 cm#broch. ; Bibliogr. ; Index

Localisation : Enseignement RdC (DAVI)

Type d'ouvrage : Enseignement

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00024392 [emprunté jusqu'au 20/11/2020]
Z