View Single Post
Old 10-26-2016, 08:44 PM   #15
lol happy
FFR Simfile AuthorFFR Veteran
hi19hi19's Avatar
Join Date: Oct 2005
Location: DESTINY
Age: 29
Posts: 12,016
Default Re: What book are you currently reading?

I currently have open in front of me "A Mathematical Introduction to Logic, Third Edition" by Herbert Enderton. It's a gripping read, really, for anyone who enjoys themes such as a rigorous proofs in the predicate calculus. The Compactness Theorem is my favorite character.

hi19hi19 is offline   Reply With Quote