TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A completeness proof for an infinitary tense logic Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 2 / s. 70 - 731977CZYSTY TEKST
Goran Sundholm, A completeness proof for an infinitary tense logic, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 70 - 73
BIBTEX@Article{ authors = " Goran Sundholm", title = "A completeness proof for an infinitary tense logic", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "70 - 73" }