Dunod.2003.2 vols.in-8,couv.souples illustrées.1: Calcul propositionnel algèbre de Boole,calcul des prédicats.385 p. 2: Fonctions récursives,théorème de Godel, théorie des ensembles,théorie des modèles.347 p.TBE.
Reference : 47123
Librairie Ancienne Laurencier
Patrick et Liliane Laurencier
7 rue du Chai des Farines
33000 Bordeaux
France
livresanciens.laurencier@wanadoo.fr
33 05 56 81 68 79