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. |
Провери в Paniza Library, AUBG | Сигнатура: |
Storage QA248.5 .G62 1957 |
---|