TYTUŁ ARTYKUŁU

On Some Logic with a Relation Imposed on Formulae: Tableau System F

AUTORZY
Tomasz Jarmużek, Bartosz Jerzy Kaczkowski
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2014 / Tom 43 / Numer 1-2
STRONY
53 - 72
ROK
2014
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Tomasz Jarmużek, Bartosz Jerzy Kaczkowski, On Some Logic with a Relation Imposed on Formulae: Tableau System F, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 53 - 72

BIBTEX

Tomasz Jarmużek and Bartosz Jerzy Kaczkowski. On Some Logic with a Relation Imposed on Formulae: Tableau System F. Bulletin of the Section of Logic, 43(1-2):53–72, 2014.

Pokaż kod BibTeX 
@article{bazhum245164,
  author = {Jarmużek, Tomasz and Kaczkowski, Bartosz Jerzy},
  title = {{On Some Logic with a Relation Imposed on Formulae: Tableau System F}},
  journal = {Bulletin of the Section of Logic},
  year = {2014},
  volume = {43},
  number = {1-2},
  pages = {53--72},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/245164}
}