On the elimination of Malitz quantifiers
β
Peter Koepke
π
Article
π
1989
π
Springer
π
English
β 275 KB