Login / Signup
On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness.
Ulrich Kohlenbach
Published in:
Ann. Pure Appl. Log. (1998)
Keyphrases
</>
special case
artificial intelligence
closely related
metadata
real time
neural network
real world