Understanding symbolic logic - Klenk Virginia (Englewood Cliffs Prentice Hall, 1989)
Keywords: Mathematical logic