@BOOK{ Book!D - 90113196,
AUTHOR = " edited by C. Böhm. B�ohm, C.,",
TITLE = "λ-Calculus and Computer Science Theory : ",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer Science,Computer science.,Logic, Symbolic and mathematical.",
URL = "/book/90113196/λCalculus-and-Computer-Science-Theory/"}