LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sav08:undecidability_of_first-order_logic [2008/04/03 11:47]
vkuncak
sav08:undecidability_of_first-order_logic [2008/04/03 13:53] (current)
vkuncak
Line 12: Line 12:
  
 [[Complete Recursive Axiomatizations]] [[Complete Recursive Axiomatizations]]
- 
-[[Goedel'​s Theorem]]