везде Расширенный поиск
книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Naim ?a?man, Stan S. Wainer

Tiered Arithmetic and its Applications. Tiered arithmetic, its functional interpretation and slow growing bounds

Код 1231372

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Tiered Arithmetic and its Applications. Tiered arithmetic, its functional interpretation and slow growing bounds"

This book is first author's dissertation that is submitted in accordance with the requirements for the degree of Doctor of Philosophy to The University of Leeds, Department of Pure Mathematics in January 2000 under the direction of second author with the title "Tiered Arithmetic, its Functional Interpretation and Slow Growing Bounds". A two-sorted version of Peano Arithmetic is developed, with proof-rules corresponding to the normal/safe recursion schemes of Bellantoni and Cook. Classical...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-8383-6561-9
Объём: 108 страниц
Масса: 184 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

-8%
Среди тысячи лиц
Среди тысячи лиц бумажная книга
Сара Джио
11.76 USD 10.82 USD
В корзину
Сергей Прокофьев. Солнечный гений
Сергей Прокофьев. Солнечный гений бумажная книга
Марина Израилевна...
12.58 USD
В корзину
Программирование — это так просто, программирование — это так сложно. Современный учебник программирования
Программирование — это так просто,... бумажная книга
Елена Андреева
3.69 USD
В корзину
-23%
Старинные театры
Старинные театры бумажная книга
Георгий Лукомский
770.17 USD 593.03 USD
В корзину
Здесь была Бритт-Мари
Здесь была Бритт-Мари бумажная книга
Фредрик Бакман
14.86 USD
В корзину
Модели Интернета
Модели Интернета бумажная книга
А.М. Райгородский
21.8 USD
В корзину