MacNeille completions of lattice expansi
β
Mark Theunissen; Yde Venema
π
Article
π
2007
π
Springer
π
English
β 347 KB