General metarules for interactive modular construction of natural deduction proofs
No reviews yet
First published: 2003
1 language
ISBN: 9172656131