Expansion tree proofs and their conversion to natural deduction proofs
- 14 February 2006
- book chapter
- Published by Springer Nature
- p. 375-393
- https://doi.org/10.1007/bfb0047132
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: