The study of the syntax and semantics of propositional and predicative statements. Related Terms Formal Language References shapiro1991-second-order-foundations