Pro[ositional Logic+mendelson.pdf [Free Download!]