Login / Signup
On the completenes principle: A study of provability in heyting's arithmetic and extensions.
Albert Visser
Published in:
Ann. Math. Log. (1982)
Keyphrases
</>
factors affecting
information systems
decision trees
learning algorithm
website
digital libraries
image analysis
statistical analysis