Logique arithmetique : l'arithmetisation de la logique / / Yvon Gauthier
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Gauthier Yvon
|
| Titolo: |
Logique arithmetique : l'arithmetisation de la logique / / Yvon Gauthier
|
| Pubblicazione: | Quebec, [Quebec Province] : , : Presses de l'Universite du Laval, , 2010 |
| ©2010 | |
| Descrizione fisica: | 1 online resource (216 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | Logic, Symbolic and mathematical |
| Mathematics - Philosophy | |
| Note generali: | Publié comme partie de Bibliothèque des éditeurs électroniques canadiens. |
| Nota di bibliografia: | Includes bibliographical references and indexes. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Logique arithmetique |
| ISBN: | 2-7637-0997-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Francese |
| Record Nr.: | 9910791654203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Collection Logique de la science.