Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785511096605

Книга ISBN13 9785511096605 - Primitive recursive arithmetic (Jesse Russel) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Primitive recursive arithmetic
High Quality Content by WIKIPEDIA articles! Primitive recursive arithmetic, or PRA, is a quantifier-free formalization of the natural numbers. It was first proposed by Skolem as a formalization of his finitist conception of the foundations of arithmetic, and it is widely agreed that all reasoning of PRA is finitist. Many also believe that all of finitism is captured by PRA, but others believe finitism can be extended to forms of recursion beyond primitive recursion, up to ?0, which is the proof-theoretic ordinal of Peano arithmetic. PRA's proof theoretic ordinal is ??, where ? is the smallest transfinite ordinal. PRA is sometimes called Skolem arithmetic. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного...
Авторы: Jesse Russel
Издательство: Книга по Требованию
Год: 2012
Местонахождение: OZON.ru
ISBN: 978-5-5110-9660-5


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.