1909-. (1969). Formalized recursive functionals and formalized realizability. American Mathematical Society.
Citação norma Chicago1909-. Formalized Recursive Functionals and Formalized Realizability. Providence, Rhode Island: American Mathematical Society, 1969.
Citação norma MLA1909-. Formalized Recursive Functionals and Formalized Realizability. American Mathematical Society, 1969.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.