Proof Search in Intuitionistic Logic wit
β
Andrei Voronkov
π
Article
π
1998
π
Springer Netherlands
π
English
β 204 KB