Share
Definability and Computability (Siberian School of Algebra and Logic) (in English)
Iurii Leonidovich Ershov; Yuri L. Ershov (Author)
·
Springer
· Hardcover
Definability and Computability (Siberian School of Algebra and Logic) (in English) - Iurii Leonidovich Ershov; Yuri L. Ershov
$ 208.41
$ 219.99
You save: $ 11.58
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Monday, May 27 and
Tuesday, May 28.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "Definability and Computability (Siberian School of Algebra and Logic) (in English)"
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.