m
     
Ouvrage

H 0 Logique mathématique. Tome 1 :
calcul propositionnel, algèbre de Boole, calcul des prédicats

Cori, René (Principal) ; Lascar, Daniel (Co-auteur) ; Krivine, J. L. (Co-auteur)

2003

385 p.

978-2-10-005452-7

00025958

03-01 ; 03B05 ; 03B10 ; 03G05

logique mathématique # calcul proportionnel # logique de Boole # calcul des prédicats # théorème de complétude

Ville d'édition : Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782100054527

ISBN : 2-10-005452-X

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

Localisation : Enseignement RdC (CORI)

Type d'ouvrage : Enseignement

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00025958


[disponible]
Z