Unification of Universes in Set Theory.

Willard Van Orman Quine

Published in: J. Symb. Log. (1956)

Keyphrases

set theory
mathematical morphology
first order logic
partial order
fuzzy set theory
fuzzy sets
rough sets
rough set theory
algebraic geometry
theorem prover
higher order
databases
image analysis
neural network
data structure
pattern recognition