Bøger af Jaap (Utrecht University van Oosten

Presents an introduction to the basic concepts of realizability, a field which has passed several successive phases of abstraction. This title includes a bibliography.