Predicates on Countable and Cofinality omega Transitive Sets.

Philip W. Grant

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

Keyphrases

neural network
expressive power
transitive closure
boolean operators