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