We use cookies to provide essential features and services. By using our website you agree to our use of cookies .


Warehouse Stock Clearance Sale

Grab a bargain today!

Logic and Declarative Language


Product Description
Product Details

Table of Contents

Part One: Logic Without Equality 1. Propositions 2. First Order Logic 3. Logic Programming Principles 4. Prolog Part Two: Logic With Equality 5. Logic-sorted Abstract Types 6. The Included Middle 7. Miranda 8. Institutional Logic 9. Languages and Databases

Ask a Question About this Product More...
Write your question below:
Look for similar items by category
People also searched for
Item ships from and is sold by Fishpond Retail Limited.
Back to top