Tag: compactness theorem

A Mathematical Introduction to Logic by Herbert B. Enderton

I think Enderton does a really nice job introducing logic to those who have never studied it before. Although not always the easiest to follow Enderton lays out all the necessary topics in a nice organised fashion so it’s fairly simple to follow everything. I found his explanation of the pumping lemma to be lacking …

Continue reading