The Clausal Theory of Types

Name: The Clausal Theory of Types
Brand: Cambridge University Press
SKU: 9780521395380
Price: 5410.00 INR
Availability: InStock

by D. A. Wolfram

Cambridge University Press · 1993

₹5,410

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹4,923 for this book (save ₹487).

9% off every book, up to ₹500 off per order.

About this book

Published by Cambridge University Press in 1993, The Clausal Theory of Types by D. A.The book is part of the Cambridge tracts in theoretical computer science series.

Topics covered include Logic programming and Computer science.