J.N. Crossley

• Algebra and Logic
• Proof Theory