Yvon Gauthier

1 artykuły w 1 czasopismach

• A polynomial translation of Goedel's functional interpretation Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 3 / s. 130 - 137

  1998

  Yvon Gauthier

  Zacytuj Udostępnij
  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

  pobierz cytat

  BIBTEX

  @Article{ authors = " Yvon Gauthier", title = "A polynomial translation of Goedel's functional interpretation", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 3", pages = "130 - 137" }

  pobierz cytat