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]]. |