Non-Axiomatic Term Logic: A Computational Theory of Cognitive Symbolic Reasoning

Open in new window