TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Decision problems for linear orderings in stationary logic Opublikowano w: Bulletin of the Section of Logic 1991 / Tom 20 / Numer 3-4 / s. 102 - 1041991CZYSTY TEKST
Heinrich Herre, Decision problems for linear orderings in stationary logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 102 - 104
BIBTEX@Article{ authors = " Heinrich Herre", title = "Decision problems for linear orderings in stationary logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "102 - 104" }