Computability and logic
The third part of the book moves on to more advanced topics such as second order logic and nonstandard models.
The authors generally don't give full proofs of theorems, but rather give a sketch which will enable the readers to complete the proof for themselves. This not only enables more material to be covered, but is done in a way that I felt enhanced the readers' understanding of the topics, and so the book is useful as a reference to the important considerations in the proofs. The book is aimed at those studying mathematical logic at undergraduate level, but I felt that it would also be useful for those wanting to undertake independent study of the subject.