TYTUŁ ARTYKUŁU

A Proof Theoretic Tool for First-Order Modal Logic

AUTORZY
Yehuda Schwartz, George Tourlakis
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2013 / Tom 42 / Numer 3-4
STRONY
93 - 110
ROK
2013
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

Yehuda Schwartz, George Tourlakis, A Proof Theoretic Tool for First-Order Modal Logic, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 93 - 110

BIBTEX

Yehuda Schwartz and George Tourlakis. A Proof Theoretic Tool for First-Order Modal Logic. Bulletin of the Section of Logic, 42(3-4):93–110, 2013.

Pokaż kod BibTeX 
@article{bazhum244948,
  author = {Schwartz, Yehuda and Tourlakis, George},
  title = {{A Proof Theoretic Tool for First-Order Modal Logic}},
  journal = {Bulletin of the Section of Logic},
  year = {2013},
  volume = {42},
  number = {3-4},
  pages = {93--110},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/244948}
}