Cut-elimination in second order logic

Serebriannikov, O.F.

TYTUŁ ARTYKUŁU

Cut-elimination in second order logic

AUTORZY: O.F. Serebriannikov
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1988 / Tom 17 / Numer 3-4
STRONY: 159 - 161
ROK: 1988
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

O.F. Serebriannikov, Cut-elimination in second order logic, Bulletin of the Section of Logic, 1988 / Tom 17 / Numer 3-4, s. 159 - 161

BIBTEX

O.F. Serebriannikov. Cut-elimination in second order logic. Bulletin of the Section of Logic, 17(3-4):159–161, 1988.

Pokaż kod BibTeX

@article{bazhum224250,
  author = {Serebriannikov, O.F.},
  title = {{Cut-elimination in second order logic}},
  journal = {Bulletin of the Section of Logic},
  year = {1988},
  volume = {17},
  number = {3-4},
  pages = {159--161},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/224250}
}