English
Hardback
₹6754
₹7110
5.01% OFF
(All inclusive*)
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Looking to place a bulk order? SUBMIT DETAILS
Piracy-free
Assured Quality
Secure Transactions
About The Book
Description
Author
This book offers a principled view of programming showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.
Piracy-free
Assured Quality
Secure Transactions
Delivery Options
Please enter pincode to check delivery time.
*COD & Shipping Charges may apply on certain items.
Review final details at checkout.
Details
ISBN 13
9781009561297
Publication Date
-31-12-2025
Pages
-334
Weight
-542 grams
Dimensions
-152x229x19.16 mm
