General metarules for interactive modular construction of natural deduction proofs
By: Agneta Eriksson-Granskog
Contributors: Stockholms universitet
Published: 2003
Language: eng
Number of pages: 134
Notes: Thesis (doctoral)--Stockholms universitet, 2003.