Back to Results
First PageMeta Content
Lambda calculus / Theory of computation / Computability theory / Logic in computer science / Mathematical logic / Combinatory logic / Function / Well-formed formula / Gödel numbering / Mathematics / Theoretical computer science / Logic


I944Î BOOK REVIEWS
Add to Reading List

Document Date: 2010-01-14 11:40:41

Open Document

File Size: 474,89 KB

Share Result on Facebook
UPDATE