Peter Aczel

• Situation Theory and Its Applications, Volume 3
• Proof Theory