@BOOK{ Book!D - 90096272,
AUTHOR = " by Sören Stenlund.",
TITLE = "Combinators, [lambda]-Terms and Proof Theory",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Logic.,Philosophy (General)",
URL = "/book/90096272/Combinators-lambdaTerms-and-Proof-Theory/"}