Intermediate predicate logic without the
β
P. A. Shreiner
π
Article
π
1998
π
Springer US
π
English
β 385 KB