A Gentzen system for involutive residuat
β
Annika M. Wille
π
Article
π
2005
π
Springer
π
English
β 560 KB