Recursively Enumerable Sets and Degrees, Robert I. Soare

Автор: Roman Murawski
Название: Recursive Functions and Metamathematics
ISBN: 9048152984 ISBN-13(EAN): 9789048152988
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics.

Автор: Lerman
Название: Degrees of Unsolvability
ISBN: 1107168139 ISBN-13(EAN): 9781107168138
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents a systematic study of the interaction between local and global degree theory. It introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees.

Автор: Rogers, H.
Название: Theory of recursive functions and effective computability /
ISBN: 0262680521 ISBN-13(EAN): 9780262680523
Издательство: MIT Press
Рейтинг:
Цена: 8465.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: (Reprint of the 1967 edition)

Автор: Guy McCusker
Название: Games and Full Abstraction for a Functional Metalanguage with Recursive Types
ISBN: 1447111656 ISBN-13(EAN): 9781447111658
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59].

Автор: Roman Murawski
Название: Recursive Functions and Metamathematics
ISBN: 0792359046 ISBN-13(EAN): 9780792359043
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This book considers the historical and philosophical context of these issues and their philosophical and methodological consequences. It is intended for advanced students of logic, mathematics, philosophy of science.