Cambridge University Press (United Kingdom), 2009
Paperback, 136 pages
Size: 244x170 mm
ISBN: 9780521117906
ISBN-10: 0521117909
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
Are you a current customer?
Please, login.
Back to roots: Eruditor.com works automatically
Ten years ago, everybody expected that on-line shops would work fully automatically: no staff, no stock, no office, just a computer and delivery service from factory to customer. Prices in on-line shops were expected to be extremely low because of minimal costs. Unfortunately, it didn't work. Customers needed help and information and e-shops needed to pay more employees. Costs and prices in e-shops increased.
In Eruditor.com we have decided to return to the roots. Our e-shop works automatically, almost as was expected in the mid nineties. There is no stock, no help, no customer support (except for claims), no limited bargains but the lowest prices possible of everything for everybody everyday.
We in Eruditor.com expect you to know what you want. We won't help you to find the book you are looking for, but we will work very hard to help you find it quickly and very easily yourself. So if what you want is an English book, Eruditor.com is the best place to buy it at the lowest possible price.
