Inversion Principles and Introduction Rules
Outstanding Contributions to Logic
doi 10.1007/978-3-319-11041-7_8
Full Text
Open PDFAbstract
Available in full text
Date
November 28, 2014
Authors
Publisher
Springer International Publishing
Available in full text
November 28, 2014
Springer International Publishing