Osnovanija intuicionistskoj matematiki s točki zrenija : teorii rekursivnych funkcij - Kleene, Stephen Cole, 1909-1994 (Matematičeskaja logika i osnovanija matematiki, 1978)