Decision problems for linear orderings in stationary logic

Bulletin of the Section of Logic, Tom 20, Numer 3-4 (1991) s. 102-104
Heinrich Herre

 

do góry