G. E. Mint͡s

• A short introduction to modal logic
• Games, logic, and constructive sets
• Selected papers in proof theory
• Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki