Mates-Elementary Logic-1972.pdf