Автор: Nelson Edward Название: Predicative Arithmetic. (MN-32): ISBN: 0691610290 ISBN-13(EAN): 9780691610290 Издательство: Wiley Рейтинг: Цена: 5544.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson`s theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru