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