Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
A new criterion of decidability for intermediate logics
Zacytuj
CZYSTY TEKST
Tomasz Skura, A new criterion of decidability for intermediate logics, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 1, s. 10 - 14
BIBTEX
Tomasz Skura. A new criterion of decidability for intermediate logics. Bulletin of the Section of Logic, 19(1):10–14, 1990.
Pokaż kod BibTeX
@article{bazhum225063,
author = {Skura, Tomasz},
title = {{A new criterion of decidability for intermediate logics}},
journal = {Bulletin of the Section of Logic},
year = {1990},
volume = {19},
number = {1},
pages = {10--14},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/225063}
}