Amazon.com description: Product Description: This book has evolved from the author's theory that if it is possible to teach students reasonable methods for finding proofs (in a system of natural deduction), then it should also be possible to express those methods in a programming language, and program on a computer the effective skills taught in logic courses. He rejected classical logic and, in his book "Anti-realism and Logic", gave arguments in favour of a system he called "intuitionistic relevant logic". He found that working within that system he could find proofs more easily because of the constraint of relevance between their premisses and their conclusions. A report on natural deduction based sub-classical computational logic, this book should be of interest to computational logicians, proof theorists, cognitive scientists, workers in artificial intelligence and the Prolog and logic programming community.