0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Not currently available

Definability and Computability (Hardcover, 1996 ed.) Loot Price: R4,268
Discovery Miles 42 680
Definability and Computability (Hardcover, 1996 ed.): Yuri L. Ershov

Definability and Computability (Hardcover, 1996 ed.)

Yuri L. Ershov

Series: Siberian School of Algebra and Logic

 (sign in to rate)
Loot Price R4,268 Discovery Miles 42 680 | Repayment Terms: R400 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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 Godel 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."

General

Imprint: Kluwer Academic / Plenum Publishers
Country of origin: United States
Series: Siberian School of Algebra and Logic
Release date: April 1996
First published: 1996
Authors: Yuri L. Ershov
Dimensions: 234 x 156 x 19mm (L x W x T)
Format: Hardcover
Pages: 264
Edition: 1996 ed.
ISBN-13: 978-0-306-11039-9
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 0-306-11039-3
Barcode: 9780306110399

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,326 Discovery Miles 13 260
Principia Mathematica
Russell Bertrand Russell Hardcover R1,412 Discovery Miles 14 120
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R6,051 R4,151 Discovery Miles 41 510
Logic for Physicists
Nicolas A Pereyra Paperback R760 Discovery Miles 7 600
Mathematical Logic
Ian Chiswell, Wilfrid Hodges Paperback R1,356 Discovery Miles 13 560
Philosophy and Model Theory
Tim Button, Sean Walsh Hardcover R2,264 Discovery Miles 22 640
Models of Peano Arithmetic
Richard Kaye Hardcover R4,129 Discovery Miles 41 290
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R661 Discovery Miles 6 610
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R426 Discovery Miles 4 260
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R519 Discovery Miles 5 190
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R6,777 Discovery Miles 67 770
The Scientific Art of Logic
Edward D Simmons Hardcover R1,237 R1,051 Discovery Miles 10 510

See more

Partners