On the Function Ring Functor in Pointfre
โ
Bernhard Banaschewski
๐
Article
๐
2005
๐
Springer
๐
English
โ 295 KB