Login / Signup
Countable algebra and set existence axioms.
Harvey M. Friedman
Stephen G. Simpson
Rick L. Smith
Published in:
Ann. Pure Appl. Log. (1983)
Keyphrases
</>
small number
knowledge base
knowledge representation
set theory
boolean algebra
case study
video sequences
evolutionary algorithm
multi objective