Theories for Admissible Sets: A Unifying Approach to Proof Theory

Book by Dr. Gerhard Jäger