An excellent presentation of traditional propositional calculus and the calculus of predicates utilizing traditional logic, primer, tutorial and more.
Has also an introduction to set theory based on the logic of predicates/ propositional calculus.
http://www.mathsci.appstate.edu/~jlh/primer/hirst.pdf
Rights:
Open download at :
http://www.mathsci.appstate.edu/~jlh/primer/hirst.pdf
Copyright2002 by Jeffry L. Hirst and Holly P. Hirst. All rights reserved.
