Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus
Zacytuj
CZYSTY TEKST
Wojciech Buszkowski, Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 33 - 37
BIBTEX
Wojciech Buszkowski. Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus. Bulletin of the Section of Logic, 5(1):33–37, 1976.
Pokaż kod BibTeX
@article{bazhum187630,
author = {Buszkowski, Wojciech},
title = {{Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus}},
journal = {Bulletin of the Section of Logic},
year = {1976},
volume = {5},
number = {1},
pages = {33--37},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/187630}
}