Title: The technique of theory construction
Subjects: Symbolic and mathematical Logic