On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic.

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

Keyphrases

real time
higher order
cognitive processes
arithmetic operations
database
genetic algorithm
computer vision
image processing
website
database systems
multi agent systems
pairwise
design principles
concept mapping
fourth order
fundamental principles