W. Pohlers

This book verifies with compelling evidence the author's inclination to 'write a book on proof theory which needs no previous knowledge of proof theory'. Avoiding the cryptic terminology of proof as f...