TYTUŁ ARTYKUŁU

A polynomial translation of Goedel's functional interpretation

AUTORZY
Yvon Gauthier
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1998 / Tom 27 / Numer 3
STRONY
130 - 137
ROK
1998
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Yvon Gauthier, A polynomial translation of Goedel's functional interpretation, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 3, s. 130 - 137

BIBTEX

Yvon Gauthier. A polynomial translation of Goedel's functional interpretation. Bulletin of the Section of Logic, 27(3):130–137, 1998.

Pokaż kod BibTeX 
@article{bazhum234390,
  author = {Gauthier, Yvon},
  title = {{A polynomial translation of Goedel's functional interpretation}},
  journal = {Bulletin of the Section of Logic},
  year = {1998},
  volume = {27},
  number = {3},
  pages = {130--137},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/234390}
}