A normalization theorem for P-W

Nagayama, Misao

TYTUŁ ARTYKUŁU

A normalization theorem for P-W

AUTORZY: Misao Nagayama
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1999 / Tom 28 / Numer 2
STRONY: 83 - 88
ROK: 1999
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Misao Nagayama, A normalization theorem for P-W, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 2, s. 83 - 88

BIBTEX

Misao Nagayama. A normalization theorem for P-W. Bulletin of the Section of Logic, 28(2):83–88, 1999.

Pokaż kod BibTeX

@article{bazhum234565,
  author = {Nagayama, Misao},
  title = {{A normalization theorem for P-W}},
  journal = {Bulletin of the Section of Logic},
  year = {1999},
  volume = {28},
  number = {2},
  pages = {83--88},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/234565}
}