TYTUŁ ARTYKUŁU

A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang

AUTORZY
J. Soliveres Tur, J. Climent Vidal
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2009 / Tom 38 / Numer 1-2
STRONY
77 - 94
ROK
2009
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

J. Soliveres Tur, J. Climent Vidal, A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 77 - 94

BIBTEX

J. Soliveres Tur and J. Climent Vidal. A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang. Bulletin of the Section of Logic, 38(1-2):77–94, 2009.

Pokaż kod BibTeX 
@article{bazhum243539,
  author = {Tur, J. Soliveres and Vidal, J. Climent},
  title = {{A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang}},
  journal = {Bulletin of the Section of Logic},
  year = {2009},
  volume = {38},
  number = {1-2},
  pages = {77--94},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/243539}
}