The central themes of this book are the development of second- and higher-order logic, and the contention that higher-order logic has an important role to play in foundational studies. Second-order logic provides better models of important aspects of mathematics, both now and in recent history, than first-order logic does.