Logique arithmetique : l'arithmetisation de la logique /
| Основен автор: | Gauthier, Yvon, 1941- |
|---|---|
| Формат: | Електронна книга |
| Език: | French |
| Публикувано: |
Quebec [Que.] :
Presses de l'Universite Laval,
℗♭2010
|
| Серия: |
Collection Logique de la science.
|
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=352597 |
Съдържание:
- L'arithmetisation de l'analyse
- L'arthmetisation de l'algebre
- L'arthmetisation de la logique
- L'arthimetisation du langage
- Conclusion. Arithmetisme
- A. La descente infinie
- B. La consistance interne.