Linear orders with distinguished function symbol
Douglas Cenzer, Barbara F. Csima, Bakhadyr KhoussainovVolume:
48
Language:
english
Pages:
14
DOI:
10.1007/s00153-008-0112-4
Date:
February, 2009
File:
PDF, 206 KB
english, 2009