TYTUŁ ARTYKUŁU

A Sequent System of the Logic R- for Rosser Sentences

AUTORZY
Shigeo Ohama, Katsumi Sasaki
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2004 / Tom 33 / Numer 1
STRONY
11 - 21
ROK
2004
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Shigeo Ohama, Katsumi Sasaki, A Sequent System of the Logic R- for Rosser Sentences, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 11 - 21

BIBTEX

Shigeo Ohama and Katsumi Sasaki. A Sequent System of the Logic R- for Rosser Sentences. Bulletin of the Section of Logic, 33(1):11–21, 2004.

Pokaż kod BibTeX 
@article{bazhum241369,
  author = {Ohama, Shigeo and Sasaki, Katsumi},
  title = {{A Sequent System of the Logic R- for Rosser Sentences}},
  journal = {Bulletin of the Section of Logic},
  year = {2004},
  volume = {33},
  number = {1},
  pages = {11--21},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/241369}
}