Back to Results
First PageMeta Content
Logic in computer science / Proof theory / Predicate logic / Type theory / First-order logic / Sequent / Isabelle / Higher-order logic / Logical framework / Logic / Mathematical logic / Mathematics


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

Open Document

File Size: 580,88 KB

Share Result on Facebook
UPDATE