Introduction to logic - CopilhIrving M.; Cohen,Carl (Prentice Hall, 1998)