00897nam a2200241Ia 4500003000400000005001700004008004100021020001800062040001800080041000800098082002000106100003200126245009100158250001200249260003500261300002800296650003200324650003200356650005200388942002900440999001900469952016700488OSt20260312145708.0210716s2012    xx            000 0 und d  a9788132204480  cAIMIT LIBRARY  aeng  a511.3 21bFERM  aFernandez, Maribel.9258636  aModels of computation :bintroduction to computability theory /cBy Maribel Fernandez.  a1st ed.  aNew Delhi :bSpringer ,c2012.  axi,184p. ;bPBc23.1 cm  aThe lambda calculus9258637  aRecursive functions9258638  aInteraction -based modes of computation9258639  2ddccBKe1stk511.3 FERM  c194371d194371  00102ddc40708MCAaAIMITbAIMITeKnowledge Worldg299.00iBill no:432; Bill dt:2015-03-03l0o511.3 FERMpMCA13879r2026-05-23 00:00:00v224.25w2021-07-16yBK