/sci/ - Science & Math

I once heard an anon here say it's better to read up on predicate logic than to read a proof book to "get" proofs. I was wondering if Simpson's "Mathematical Logic" would be a good one to read. It's only 100 pages