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

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

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

Просмотренные товары