TYTUŁ ARTYKUŁU
Rozstrzygalność w bezkwantyfikatorowym rachunku nazw
Zacytuj
CZYSTY TEKST
Andrzej Pietruszczak, Rozstrzygalność w bezkwantyfikatorowym rachunku nazw , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992 / Tom 3 (255), s. 21 - 43
BIBTEX
Andrzej Pietruszczak. Rozstrzygalność w bezkwantyfikatorowym rachunku nazw. Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 3:21–43, 1992.
Pokaż kod BibTeX
@article{bazhum436960,
author = {Pietruszczak, Andrzej},
title = {{Rozstrzygalność w bezkwantyfikatorowym rachunku nazw}},
journal = {Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika},
year = {1992},
volume = {3},
pages = {21--43},
issn = {0867-3241},
url = {https://bazhum.muzhp.pl/articles/436960}
}