00614nam a2200205Ia 4500003000400000005001700004008004100021020001800062040001800080041000800098082002000106100002400126245009100150250001200241260003500253300002800288650002400316650002400340650004400364OSt20260312145708.0210716s2012    xx            000 0 und d  a9788132204480  cAIMIT LIBRARY  aeng  a511.3 21bFERM  aFernandez, Maribel.  aModels of computation :bintroduction to computability theory /cBy Maribel Fernandez.  a1st ed.  aNew Delhi :bSpringer ,c2012.  axi,184p. ;bPBc23.1 cm  aThe lambda calculus  aRecursive functions  aInteraction -based modes of computation