On the Typed Properties in Quine's "New Foundations".

Published in: Math. Log. Q. (1979)

Keyphrases

higher order
desirable properties
artificial intelligence
database
data mining
decision making
search algorithm
structural properties