Logique arithmétique : l'arithmétisation de la logique /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Gauthier, Yvon, 1941-
Formato: Electrónico eBook
Idioma:Francés
Publicado: Québec [Que.] : Presses de l'Université Laval, ©2010
Colección:Collection Logique de la science.
Temas:
Arithmetic > Foundations.
Logic, Symbolic and mathematical.
Mathematics > Philosophy.
Arithmétique > Fondements.
Logique symbolique et mathématique.
Mathématiques > Philosophie.
MATHEMATICS > Logic.
Arithmetic > Foundations
Logic, Symbolic and mathematical
Mathematics > Philosophy
Livres électroniques.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares