We also used Symbolic Logic by Klenk, a good text but not as good an introduction and setup as the former.