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