Close notification

Did you know that ?

SIDE has worked with its suppliers to make our parcels environmentally friendly.
No more plastics !
The tape that keep our parcels tightly shut and the wedging material that immobilizes books within the cartons are now made of fully recyclable and biodegradable materials.

Display notification

Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats

Cori René, Lascar Daniel

Publication date 15/02/2021

EAN: 9782100825141

Availability Available from publisher

46.00 €

Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.

Detailed information

Attribute name	Attribute value
Common books attribute
Publisher	DUNOD
Page Count	408
Language	fr
Author	Cori René, Lascar Daniel
Format	Paperback / softback
Product type	Book
Publication date	15/02/2021
Weight	697 g
Dimensions (thickness x width x height)	2.00 x 17.00 x 24.00 cm

Summary

Calcul propositionnel, algèbre de Boole, calcul des prédicats

Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.