Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus /.
| Основен автор: | Goodstein, R. L. |
|---|---|
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Amsterdam,
North-Holland Pub. Co.,
1957.
|
| Серия: |
Studies in logic and the foundations of mathematics.
|
| Предмети: | |
| Подобни документи: |
Online version::
Recursive number theory. |
| Физически характеристики: |
xii, 190 p. 22 cm. Also issued online. |
|---|---|
| Библиография: |
Bibliography: p. 188. |