On the formulability of predicates on fi
β
B. A. Romov
π
Article
π
1973
π
Springer US
π
English
β 139 KB