Elementary logic - Resnik, Michael D. (New York McGraw-Hall Book, 1970)