Logic: an introductory course/
Newton, Smith W.H.
,
756 Logic
0-415-04525-8
Logic Logic Language|Propositional language and Calculus|Elementary meta-theory-propositional calculus|A Predicate language|Logical analysis|The Theory of relations|Predicate Logic semantics