k. codell carter

• a contemporary introduction to logic