Title: The mathematics of inheritance systems
Subjects: Mathematics, Symbolic and mathematical Logic, Computer architecture, Artificial intelligence