Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:undecidability_of_first_order_logic [2008/02/21 23:13] piskac |
sav08:undecidability_of_first_order_logic [2008/02/21 23:13] 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]]. |