Next: Structure of the Book
Up: The Book
Previous: Teaching Method
Contents
Structure of the Book
The book is subdivided into 10 main parts and an appendix with five
chapters.
The chapters in the appendix contain supplementary details
on themes adressed in the main parts.
- Anhang A
- The Lambda-Calculus, it's notation,
basic definitions and theorems.
- Anhang B
- A discussion of the scope of variables.
- Anhang D
- Supplemental remarks to ``OntoSimula''.
- Anhang E
- Tools and Resources.
Subsections