Sortal predicates and confirmation
β
Robert Ackermann
π
Article
π
1969
π
Springer Netherlands
π
English
β 282 KB