Differences
This shows you the differences between two versions of the page.
| Last revision Both sides next revision | |||
|
sav08:undecidability_of_first_order_logic [2008/02/21 23:11] piskac created |
sav08:undecidability_of_first_order_logic [2008/02/21 23:13] piskac |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | aaa | + | ===== Undecidability of First_order Logic ===== |
| + | |||
| + | We followed proof given on the following [[http://kilby.stanford.edu/~rvg/154/handouts/fol.html|web page]]. | ||