This Book is Out of Stock!
English
Hardback
₹14075
(All inclusive*)
Delivery Options
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Looking to place a bulk order? SUBMIT DETAILS
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
About The Book
Description
Author(s)
This work includes formal proof techniques a section on applications of compactness a generous dose of computability and its relation to the incompleteness phenomenon and the first presentation of a complete proof of Godel''s 2nd incompleteness since Hilbert and Bernay''s Grundlagen theorem.
Piracy-free
Assured Quality
Secure Transactions
₹14075
Out Of Stock
All inclusive*
Details
ISBN 13
9780521753739
Publication Date
-01-09-2003
Pages
-342
Weight
-552 grams
Dimensions
-152.4x228.6x20.34 mm
