Amvik eBook Solutions

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory t

An engaging and accessible introduction to mathematical proof incorporating ideas from real analysis A mathematical proof is an inferential argument for a mathe

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure

THE STORY: On the eve of her twenty-fifth birthday, Catherine, a troubled young woman, has spent years caring for her brilliant but unstable father, a famous ma

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning wi