Back to Results
First PageMeta Content
Lambda calculus / Computability theory / Logic in computer science / Model theory / Proof theory / Combinatory logic / Haskell Curry / Stephen Cole Kleene / Type theory / Mathematics / Mathematical logic / Logic


Document Date: 2008-05-01 19:55:27

Open Document

File Size: 374,56 KB

Share Result on Facebook
UPDATE