Centre
Bruxellois de
Documentation
Pédagogique

Introduction à la théorie de la démonstration / Paolo Mancosu

Public ISBD 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

Exemplaires (1)

Cote	Code-barres	Support	Section		Disponibilité
CDE	175373	Livre	RESERVE		Exclu du prêt

---

1 (1 - 1 / 1)