IRMA - Logique mathématique. Cours et exercices. T. 1

Bibliothèques de mathématique et de l'IREM

Editeur : Masson

Date de parution : 1993

Nbre/N° de page : xv, 324 p. ; 24 cm

Inventaire : 38488

Nbre d'exemplaires : 1

N°	Inventaire	Code barre	Localisation
1	38488	1009740	AGREG

Sous-titre : calcul propositionnel, algèbres de Boole, calcul des prédicats

ISBN10 : 2-225-84079-2

Type de doc : M

Ville d'édition : Paris

Pays d'édition : fr

Langue ouvrage : fre

Collection : Axiomes

ISSN Collection : 1243-4264

Bibliographie : Bibliogr. p. 361-363

Class. Math. 1991 : 03-01 ; 03B05 ; 06Exx

Z