Cantitate/Preț
Produs

Definability and Computability: Siberian School of Algebra and Logic

Autor Yuri L. Ershov
en Limba Engleză Hardback – 30 apr 1996
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.
Citește tot Restrânge

Din seria Siberian School of Algebra and Logic

Preț: 126216 lei

Preț vechi: 153921 lei
-18%

Puncte Express: 1893

Carte tipărită la comandă

Livrare economică 09-23 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9780306110399
ISBN-10: 0306110393
Pagini: 284
Ilustrații: XIV, 264 p.
Dimensiuni: 160 x 241 x 20 mm
Greutate: 0.59 kg
Ediția:1996
Editura: Springer
Colecția Siberian School of Algebra and Logic
Seria Siberian School of Algebra and Logic

Locul publicării:New York, NY, United States

Public țintă

Research