Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
proof_theory [2014/03/28 10:43]
nikolaj
proof_theory [2014/11/11 11:13] (current)
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 
  
Link to graph
Log In
Improvements of the human condition