A logic of abstraction related to finite
β
Andrea Cantini
π
Article
π
1991
π
Springer
π
English
β 731 KB