This book establishes pure inductive logic as a contemporary branch of mathematical logic. Collecting together research from a wide range of sources within one unified context, it provides both a comprehensive account of the subject up to cutting-edge modern research, and an accessible reference for the philosopher or computer scientist.