Independence results for weak systems of intuitionistic arithmetic.

Published in: Math. Log. Q. (2003)

Keyphrases

expert systems
distributed systems
complex systems
database
data sets
databases
neural network
digital libraries
intelligent systems
knowledge based systems
building blocks
learning systems
retrieval systems
theorem prover
computing systems
fuzzy set theory