LARA

Undecidability of First_order Logic

The proof presented is given on the following web page.

- Login

Trace: • undecidability_of_first_order_logic

sav08/undecidability_of_first_order_logic.txt · Last modified: 2008/02/21 23:13 by piskac