Jaap van Oosten

• Realizability, Volume 152
• Sets, Models and Proofs
• Realizability