Symbolic Logic: Classical and Advanced Systems
Harry J. Gensler is professor of philosophy at John Carroll University (Cleveland) and has authored several books in logic and in ethics. Home page: http://www.jcu.edu/philosophy/gensler