Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Logique arithmetique : l'arithmetisation de la logique
- Author / Creator
- Available as
- Online
Details
- Creator
- Yvon Gauthier
- Format
- Books
- Language
- French
- Publication
-
- Quebec, [Quebec Province] : Presses de l'Universite du Laval, 2010
- ©2010
- Physical Details
-
- 1 online resource (216 p.)
- ISBNs
- 9782763709970, 2763709974, 1322492638, 2763789978
- OCLC
- ocn698431340
- Publié comme partie de Bibliothèque des éditeurs électroniques canadiens.
- Includes bibliographical references and indexes.
- Également disponible en version imprimée.
- French
- L'arithmétisation de l'analyse -- L'arthmétisation de l'algèbre -- L'arthmétisation de la logique -- L'arthimétisation du langage -- Conclusion. Arithmétisme -- A. La descente infinie -- B. La consistance interne