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/02/21 23:13]
piskac
sav08:undecidability_of_first_order_logic [2008/02/21 23:13] (current)
piskac
Line 1: Line 1:
 ===== Undecidability of First_order Logic ===== ===== Undecidability of First_order Logic =====
  
-We followed ​proof given on the following [[http://​kilby.stanford.edu/​~rvg/​154/​handouts/​fol.html|web page]].+The proof presented is given on the following [[http://​kilby.stanford.edu/​~rvg/​154/​handouts/​fol.html|web page]].
 
sav08/undecidability_of_first_order_logic.txt · Last modified: 2008/02/21 23:13 by piskac
 
© EPFL 2018 - Legal notice