Free Models and Logic Programming
Part of the Undergraduate Texts in Mathematics book series (UTM)
In general, the following statement is false:
(*) If Φ ⊢ ∃xφ then there is a term t with Φ ⊢ φ t/x.
KeywordsResi Lution Reso
Unable to display preview. Download preview PDF.
© Springer Science+Business Media New York 1994