Title: The logic of machines and structures
Subjects: Statics, Symbolic and mathematical Logic, Machinery, Structural analysis (Engineering)