Proof Search in Intuitionistic Logic wit
โ
Andrei Voronkov
๐
Article
๐
1998
๐
Springer Netherlands
๐
English
โ 204 KB