Chargement...
Chargement...
Auteur Aggoune, Yacine
Auteur

Support

Série

Disponibilité

1
Introduction à la théorie de la démonstration : élimination des coupures, normalisation et preuves de cohérence

Introduction à la théorie de la démonstration : élimination des coupures, normalisation et preuves de cohérence

Auteur : Paolo Mancosu
Éditeur(s): Vrin
Une introduction à la théorie de la démonstration donnant des détails des preuves ainsi que de nombreux exemples et exercices afin de faciliter la compréhension des lecteurs. Elle porte à la fois sur la théorie structurelle et sur la théorie ordinale de la démonstrat...
38,00 €
Chargement...
1