Stanley S. Wainer

• Proofs and Computations (Perspectives in Logic)
• Proof Theory
• Proofs and Computations