TYTUŁ ARTYKUŁU

Rozstrzygalność w bezkwantyfikatorowym rachunku nazw

AUTORZY
Andrzej Pietruszczak
TYTUŁ CZASOPISMA
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika
WYDANIE
1992 / Tom 3 (255)
STRONY
21 - 43
ROK
1992
WYDAWCA
Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
ISSN
0867-3241
Pełny tekst (PDF)

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}
}