Title: Realizability, Volume 152
Subjects: Symbolic and mathematical Logic, Brain, research