Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: deductive databases

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@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".




Received on Mon May 16 2005 - 12:32:24 CDT












Original text of this message













  HOME |
  ASK QUESTION |
  ADD INFO |
  SEARCH |
  E-MAIL US