Title: Formalization of logic
Subjects: Logic, Semantics, Logic, Symbolic and mathematical, Symbolic and mathematical Logic