Differences
This shows you the differences between two versions of the page.
Next revision | Previous 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 ===== |
+ | |||
+ | The proof presented is given on the following [[http://kilby.stanford.edu/~rvg/154/handouts/fol.html|web page]]. |