I can't recommend H. W. B. Joseph's _An Introduction to Logic_ highly enough. Once you master basic logic, Fred Sommers' Term Functor Logic is exceptionally he

I can't recommend H. W. B. Joseph's _An Introduction to Logic_ highly enough. Once you master basic logic, Fred Sommers' Term Functor Logic is exceptionally helpful. http://www.ontology.co/sommersf.htm http://www.ontology.co/sommersf.htm