@article{1364939,
      recid = {1364939},
      author = {Kleene, Stephen Cole,},
      title = {Formalized recursive functionals and formalized  realizability /},
      pages = {1 online resource (110 pages).},
      note = {Cover title.},
      url = {http://library.usi.edu/record/1364939},
}