A Note on Cut Elimination and Completene
β
Kenneth A. Bowen
π
Article
π
1972
π
John Wiley and Sons
π
English
β 258 KB
π 1 views