“two fundamental texts in mathematical logic.”