Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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]] 
  
 
sav08/undecidability_of_first-order_logic.txt · Last modified: 2008/04/03 13:53 by vkuncak
 
© EPFL 2018 - Legal notice