Fernandez, Maribel Models of computation An introduction to computability theory - New Delhi Springer Publishing Company - Soft Binding xi 184 English ISBN: 978-81-322-0448-4 Subjects--Topical Terms: --lambda calculus, Recursive functions, computation Dewey Class. No.: 511.352 FER-M