m

F Nous contacter

0
     
Ouvrage

H 0 Logique mathématique cours et exercices. Vol I :
calcul propositionnel, algèbres de Bool, calcul des prédicats

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

Masson

1993

347 p.

978-2-225-84079-1

00015782

03B05 ; 03C35 ; 03G05

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

Ville d'édition : Barcelone ; Milan ; Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782225840791

ISBN : 2-225-84079-2

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

Collection : Axiomes

Sous collection : Logique mathématique

Localisation : Ouvrage RdC (CORI)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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

[disponible]
Z