Mendelson+propositional Logic.pdf [Free Download!]