Second Order Permutative Conversions With Prawitz's Strong Validity
Progress in Informatics
doi 10.2201/niipi.2005.2.4
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 2005
Authors
Publisher
National Institute of Informatics (NII)
Available in full text
November 1, 2005
National Institute of Informatics (NII)