A ConciseIntroduction to Logic provides a representation of elementary functor and quantifier logic. Certainly the procedure is less by formal derivations than by the logical analysis of statements and the examination of arguments on their logical conclusion. The textbook is aimed primarily at students in basic philosophy. Argumentation and logical language analysis are also of great importance outside of philosophy. Self study is facilitated by a tutorial with tasks, sample solutions and comments.
Read also: Planar adventures PDF download