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
