The languages of logic an introduction to formal logic - Guttenplan, Samuel D. (Blackwell Publishers, 1997)