Login / Signup
The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations.
Michael Beeson
Published in:
J. Symb. Log. (1975)
Keyphrases
</>
management system
high quality
distributed systems
formal methods
neural network
digital libraries
knowledge based systems
learning systems
complex systems