book introduction to mathematical logic calculating propositions and predicates