Chargement...
Chargement...
Auteur Mancosu, Paolo
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...
Infini, logique, géométrie

Infini, logique, géométrie

Auteur : Paolo Mancosu
Éditeur(s) : Vrin
Recueil d'essais de l'auteur sur la logique et les mathématiques. La première partie est consacrée aux perspectives ouvertes par les théories non-cantoriennes de l'infini et à l'analyse du principe de Hume. La deuxième révèle l'apport théorique de Tarski grâce à des ...
34,00 €
Chargement...
Le voyage secret du Docteur Jivago : le roman du roman

Le voyage secret du Docteur Jivago : le roman du roman

Auteur : Paolo Mancosu
Éditeur(s) : Maison des sciences de l'homme
L'histoire de l'édition du roman de Pasternak Le docteur Jivago. A partir d'archives privées et publiques, notamment d'éditeurs, l'auteur retrace l'épopée de cette publication dans le contexte de la guerre froide. Il montre les risques pris par l'écrivain, l'action d...
27,00 €
Chargement...
1