Second Order Permutative Conversions With Prawitz's Strong Validity

Progress in Informatics
doi 10.2201/niipi.2005.2.4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

National Institute of Informatics (NII)


Related search