Canonical proof nets for classical logic
β
McKinley, Richard
π
Article
π
2013
π
Elsevier Science
π
English
β 385 KB