@dblp

Some observations on intuitionistically elementary properties of linear orderings.

, and . Arch. Math. Log., 29 (3): 171-185 (1990)

Links and resources

Tags