Cambridge University Press
The Clausal Theory of Types (English, D. A. Wolfram)
₹5,410
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About the Book
This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and complete declarative and operational semantics. The language is very powerful, supporting higher-order equation…
ISBN: 9780521395380
Book Specifications
| ISBN-13 | 9780521395380 |
| ISBN-10 | 0521395380 |
| Publisher | Cambridge University Press |
| Category | Cambridge University Press |
Frequently Asked Questions
What is the price of The Clausal Theory of Types?
The Clausal Theory of Types is available at ₹5,410 on BookShops.in.
Does BookShops.in offer free delivery for The Clausal Theory of Types?
FREE delivery on all orders for The Clausal Theory of Types.
Is Cash on Delivery available for The Clausal Theory of Types?
Yes, Cash on Delivery (COD) is available for The Clausal Theory of Types on BookShops.in. Pay when your order arrives.
What is the return policy for The Clausal Theory of Types?
BookShops.in offers a 15-day hassle-free return policy for The Clausal Theory of Types. Contact us at [email protected] or call +91 81899 68108.
Is The Clausal Theory of Types authentic?
The Clausal Theory of Types is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
McFarland & Company
Playing with the Guys | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew W
₹3,526
Rowman & Littlefield Publishers
Joss Whedon's Dollhouse: Confounding Purpose, Confusing Identity (Science Fiction Television)
₹5,661
State University of New York Press
Mexico Unmanned: The Cultural Politics of Masculinity in Mexican Cinema (SUNY series in Latin American Cinema)
₹3,251
McFarland & Company
Valley Forge to Monmouth | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company |
₹3,523
University of Toronto Press
Structures of Feeling in Seventeenth-Century Cultural Expression (UCLA Center Clark Library)
₹5,875
McFarland & Company
Welcome to Arkham Asylum | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon P
₹3,557
Related Products
View All
Cambridge University Press
Jane Austen and the Enlightenment (English, Peter Knox-Shaw)
₹2,736.02
Cambridge University Press
Children of the Queen's Revels (English, Lucy Munro)
₹5,012
Cambridge University Press
Site Automation | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge Unive
₹4,993
Cambridge University Press
Complex Analysis | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian St
₹4,533
Cambridge University Press
Taming Intuition | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander W
₹4,065
Cambridge University Press
The Therapeutic Interview in Mental Health | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stang
₹5,240