00335nam a2200097Ia 4500008004100000040003800041100001600079245006500095260006500160300001200225211217s9999    xx            000 0 und d  cJayakar Knowledge Resource Centre  aKleene, S C 0aFormalized recursive functionals and formaized realizability  bAmerican mathematical societyaProvidence, Rhode Islanc1969  a106p p.