Ledermann and Weir take a slightly unique approach in the theory of groups. Their text is slightly difficult to follow in a lot of places as they tend to group things together in non-standard ways. The biggest difference I found with his use of symbols is when talking about homomorphisms. In particular most texts will …

# February 2014 archive

Feb 10 2014

## 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 …

Feb 03 2014

## Introduction to the Theory of Computation by Michael Sipser

This book was definitely one of the best books I’ve seen for introducing computation theory. Michael Sipser does an amazing job introducing not only Turing Machines, but also different types of machines such as RAM and Finite Automata. He not only gives a good intuitive description and explanation of different machines, but he also does …