Back to Results
First PageMeta Content
Logic in computer science / Type theory / Proof theory / Classical logic / Semantics / Logical framework / Propositional calculus / Intuitionistic logic / Negation / Logic / Mathematical logic / Judgment


Logical- and Meta-Logical Frameworks Lecture 1 Carsten Sch¨ urmann August 3, 2006
Add to Reading List

Document Date: 2006-08-09 04:38:35

Open Document

File Size: 256,27 KB

Share Result on Facebook