The book provides a self-contained account of the formal theory of general,