Yvon Gauthier
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A polynomial translation of Goedel's functional interpretation Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 3 / s. 130 - 137ROK: 1998CZYSTY TEKSTBIBTEX