Finitary Treatment of Operator Controlled Derivations
Mathematical Logic Quarterly - Germany
doi 10.1002/1521-3870(200108)47:3<363::aid-malq363>3.0.co;2-p
Full Text
Open PDFAbstract
Available in full text
Categories
Date
August 1, 2001
Authors
Publisher
Wiley