A proof-theoretic investigation of a log
β
Stefano Baratella; Andrea Masini
π
Article
π
2003
π
Elsevier Science
π
English
β 560 KB