Centre
Bruxellois de
Documentation
Pédagogique

Titre :	Introduction à la théorie de la démonstration : élimination des coupures, normalisation et preuves de cohérence
Type de document :	texte imprimé
Auteurs :	Paolo Mancosu, Auteur
Editeur :	Paris : Vrin
Année de publication :	2022
Importance :	1 vol. (588 p.)
Présentation :	ill.
Format :	22 cm
ISBN/ISSN/EAN :	978-2-7116-3091-2
Prix :	38 EUR
Note générale :	Bibliogr. p. 563-573. Notes bibliogr. Index
Langues :	Français (fre) Langues originales : Anglais (eng)
Permalink :	https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=22465

Introduction à la théorie de la démonstration : élimination des coupures, normalisation et preuves de cohérence [texte imprimé] / Paolo Mancosu, Auteur . - Paris : Vrin, 2022 . - 1 vol. (588 p.) : ill. ; 22 cm.
ISBN : 978-2-7116-3091-2 : 38 EUR
Bibliogr. p. 563-573. Notes bibliogr. Index
Langues : Français (fre) Langues originales : Anglais (eng)

Permalink :

https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=22465