Yup. It gave me a nice intro to formal systems / number theory iirc. Intro only though, and it was only a small part of the book.