Provability, Computability and Reflection

Name: Provability, Computability and Reflection
Brand: Elsevier Science Ltd
SKU: 9780444534040
Price: 3566.00 INR
Availability: InStock

by Lev D. Beklemishev

Elsevier Science Ltd · 2000

₹3,566

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Provability, Computability and Reflection is written by Lev D. Beklemishev. This edition from Elsevier Science Ltd (2000) has 205 pages.

The book deals with Intuitionistic mathematics.

About the author: Stephen Cole Kleene (born 1909). About the author: Richard Eugene Vesley (born 1932).

Subjects

Intuitionistic mathematics

Book details

ISBN-13: 9780444534040
ISBN-10: 0444534040
Author: Lev D. Beklemishev
Publisher: Elsevier Science Ltd
Author dates: Stephen Cole Kleene (born 1909); Richard Eugene Vesley (born 1932)
Published: 2000
Pages: 205
Language: English
Condition: New
Subject: Computers & Internet