Logic in Elementary Mathematics (Dover Books on Mathematics)