Recursive number theory : A development of recursive arithmetic in a logic-free equation calculus /
| Основен автор: | Goodstein, R. L. |
|---|---|
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Amsterdam :
North-Holland,
1957.
|
| Серия: |
Studies in logic and the foundations of mathematics
|
| Налични ИМИ | Сигнатура: |
396I |
|---|