I study this book in a non-consecutively way because I only study what I need for my research.
Abstract Syntax
Inductive Definitions
Hypothetical and General Judgements
Statics