J. Soliveres Tur
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / s. 77 - 94ROK: 2009CZYSTY TEKSTBIBTEX
