Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
proof_theory [2014/03/28 10:43] nikolaj |
proof_theory [2014/11/11 11:13] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Proof theory ===== | ===== Proof theory ===== | ||
| - | ==== Meta ==== | + | ==== Framework ==== |
| We can use logic to reason about logical derivations. The object language contains formulae $foo$, $bar$, etc. and we use | We can use logic to reason about logical derivations. The object language contains formulae $foo$, $bar$, etc. and we use | ||
