Media type: Book Title: Lambda calculi : a guide for computer scientists Contributor: Hankin, Chris [Author] Published: Oxford [u.a.]: Clarendon Press, 1994 Published in: Graduate texts in computer science ; 3 Extent: XIII, 162 S. Language: English ISBN: 0198538413; 0198538405 RVK notation: ST 130 : Allgemeines SK 130 : Logik und Grundlagen, Metamathematik, ST 120 : Grundlagen der Informatik Keywords: Lambda-Kalkül Lambda-Kalkül Origination: Footnote:
Central Library Shelf-mark: SK 130 H241 Item ID: 10433154 Status: Verfügbarkeit bitte in Prof Angewandte Diskrete Mathematik erfragen.