Near Matches
Ignore Exact
Everything
2
Natural Deduction
formal logic
Curry-Howard Isomorphism
COQ
Proof Theory
Clear and Distinct Perception
Type Theory
Gerhard Gentzen
System F
Sequent
Inference
Logical framework
Cut and paste writeups will die
Judgment
Introduction
Fitch
Elimination
Discharge
formation
Turing Machine
logic
axiom
Log in
or
register
to write something here or to contact authors.