Introduction to logic - Suppes, Patrick (Mineola: Dover, 2017)
Keywords: MATHEMATICS- LOGIC