BookMentionsBookMentions
A Mathematical Introduction to Logic by Herbert B. Enderton