Back to Results
First PageMeta Content
Logic / Type theory / Combinatory logic / Intuitionistic type theory / Robert Lee Constable / FO / Theoretical computer science / Mathematical logic / Logic in computer science


Document Date: 2012-02-02 15:56:23

Open Document

File Size: 59,40 KB

Share Result on Facebook
UPDATE