Proof-Theoretic Methods in Nonclassical Logic --an Introduction
Open Access
- 1 January 1998
- book chapter
- Published by Mathematical Society of Japan (Project Euclid)
Abstract
Project Euclid - mathematics and statistics onlineThis publication has 0 references indexed in Scilit: