Back to Results
First PageMeta Content
Logic in computer science / First-order logic / Isabelle / Higher-order logic / HOL / Modal logic / Unification / Natural deduction / Type theory / Logic / Mathematical logic / Theoretical computer science


Document Date: 2014-08-27 06:04:04

Open Document

File Size: 505,34 KB

Share Result on Facebook
UPDATE