実現可能性 (論理学)
Birkedal, Lars; van Oosten, Jaap (2002). “Relative and modified relative realizability”. Annals of Pure and Applied Logic 118: 115-132. doi:10.1016/S0168-0072(01)00122-1. ISSN 0168-0072.
Kleene, S. C. (1945). “On the interpretation of intuitionistic number theory”. Journal of Symbolic Logic 10 (4): 109–124. doi:10.2307/2269016. JSTOR 2269016.
Kleene, S. C. (1973). "Realizability: a retrospective survey" from Mathias, A. R. D.; Hartley Rogers (1973). Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1–21, 1971. Berlin: Springer. ISBN 3-540-05569-X Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1–21, 1971.
Berlin: Springer. ISBN <bdi>3-540-05569-X</bdi>., pp. 95–112.
Kreisel G. (1959). "Interpretation of Analysis by Means of Constructive Functionals of Finite Types", in: Constructivity in Mathematics, edited by A. Heyting, North-Holland, pp. 101–128.
van Oosten, Jaap (2002). “Realizability: a historical essay”. Mathematical Structures in Computer Science (Cambridge University Press) 12: 239-263. doi:10.1017/S0960129502003626. ISSN 0960-1295.
Rose, G. F. (1953). “Propositional calculus and realizability”. Transactions of the American Mathematical Society 75 (1): 1–19. doi:10.2307/1990776. JSTOR 1990776.