Title :	Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Material Type:	printed text
Authors:	Gilles Dowek, Author
Publisher:	Palaiseau : les Éd. de l'École polytechnique
Publication Date:	impr. 2010
Other publisher:	91-Palaiseau : Impr. Centre Poly-média
Pagination:	1 vol. (193 p.)
Layout:	ill., couv. ill. en coul.
Size:	25 cm
ISBN (or other code):	978-2-7302-1569-5
Price:	18 EUR
General note:	La 4ème de couv. porte : "Informatique" Bibliogr., 1 p. Index
Languages :	French (fre)
Descriptors:	Algorithmes Logique symbolique et mathématique
Class number:	511.3

Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité [printed text] / Gilles Dowek, Author . - Palaiseau : les Éd. de l'École polytechnique : 91-Palaiseau : Impr. Centre Poly-média, impr. 2010 . - 1 vol. (193 p.) : ill., couv. ill. en coul. ; 25 cm.
ISBN : 978-2-7302-1569-5 : 18 EUR
La 4ème de couv. porte : "Informatique"
Bibliogr., 1 p. Index
Languages : French (fre)

Descriptors:	Algorithmes Logique symbolique et mathématique
Class number:	511.3