Unsolvability of the universal theory of
β
A. M. Slobodskoi
π
Article
π
1981
π
Springer US
π
English
β 951 KB