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

Bulletin of the Section of Logic, Tom 38, Numer 1-2 (2009) s. 77-94
J. Climent Vidal, J. Soliveres Tur

 

do góry