Title: Technique of Theory Construction
Subjects: Logic, symbolic and mathematical