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


Document Date: 2018-08-15 07:19:12


Open Document

File Size: 581,08 KB

Share Result on Facebook
UPDATE