Re: deductive databases
From: Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be>
Date: Mon, 16 May 2005 17:32:24 GMT
Message-ID: <IO4ie.92778$S43.5526623_at_phobos.telenet-ops.be>
Date: Mon, 16 May 2005 17:32:24 GMT
Message-ID: <IO4ie.92778$S43.5526623_at_phobos.telenet-ops.be>
Mikito Harakiri wrote:
>
> For crist sake, what "functor" in logic are you talking about? There is
> no such index entry in the Mendelson's "Intro to Mathematical Logic"
> textbook.
Try looking for "function symbol".
- Jan Hidders