Jaap van OostenBooksSets, Models and ProofsRealizabilityRealizability, Volume 152Author data: Open Library