1. Realizability : an introduction to its categorical side /: an introduction to its categorical side. (2008) Other Names: Van Oosten, Jaap Record Type: Book Extent: 1 online resource (310 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗