Realizability introduction to its categorical side - Van Oosten Jaap (Amsterdam Elsevier, 2008)
Keywords: Mathematical logic; Realizability