1.

Record Nr.

UNINA9910827701903321

Autore

Gauthier Yvon

Titolo

Logique arithmetique : l'arithmetisation de la logique / / Yvon Gauthier

Pubbl/distr/stampa

Quebec, [Quebec Province] : , : Presses de l'Universite du Laval, , 2010

©2010

ISBN

2-7637-0997-4

Descrizione fisica

1 online resource (216 p.)

Collana

Logique de la Science

Disciplina

511.3

Soggetti

Logic, Symbolic and mathematical

Mathematics - Philosophy

Lingua di pubblicazione

Francese

Formato

Materiale a stampa

Livello bibliografico

Monografia

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.