Some systems of natural deduction.

Paul S. Strauss

Published in: Notre Dame J. Formal Log. (1967)

Keyphrases

natural deduction
management system
general purpose
computer systems
complex systems
machine learning
active learning
software engineering