Modern introduction to logic - Stebbin L S (1953)