Realizability, Volume 152by Jaap van OostenSymbolic and mathematical LogicBrain, researchWriting a summary for young readers…For young readersBook data: Open Library