Login / Signup
Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis.
Solomon Feferman
Gerhard Jäger
Published in:
J. Symb. Log. (1983)
Keyphrases
</>
statistical analysis
databases
knowledge base
data analysis
lower bound
automatic analysis