4 books • 3 series
Women, Rank, and Marriage in the British Aristocracy, 1485-2000 (Studies in Modern History)
Vollstandige Systeme Modaler und Intuitionistischer Logik (Ergebnisse der Mathematik und Ihrer Grenzgebiete. 2. Folge, #42)
Proof Theory of Impredicative Subsystems of Analysis
Proof Theory (Grundlehren der mathematischen Wissenschaften, #225)