J. Soliveres Tur

1 artykuły w 1 czasopismach

• 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 - 94

  2009

  J. Soliveres Tur J. Climent Vidal

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

  pobierz cytat

  BIBTEX

  @Article{ authors = " J. Soliveres Tur, J. Climent Vidal", title = "A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "77 - 94" }

  pobierz cytat