Email Address * *
Name
Subject *
Message * Logical syntax Theorem, Metasyntactic variable, Entailment, Proposition, Propositional formula, Well-formed formula, Theory, Syntax - 1233093282 - 9781233093281