Lab for Automated Reasoning and Analysis LARA

Undecidability of First_order Logic

The proof presented is given on the following web page.

 
sav08/undecidability_of_first_order_logic.txt · Last modified: 2008/02/21 23:13 by piskac
 
© EPFL 2018 - Legal notice