Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
A completeness proof for an infinitary tense logic
Zacytuj
CZYSTY 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
Goran Sundholm. A completeness proof for an infinitary tense logic. Bulletin of the Section of Logic, 6(2):70–73, 1977.
Pokaż kod BibTeX
@article{bazhum188208,
author = {Sundholm, Goran},
title = {{A completeness proof for an infinitary tense logic}},
journal = {Bulletin of the Section of Logic},
year = {1977},
volume = {6},
number = {2},
pages = {70--73},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/188208}
}