Publication:3086528

From MaRDI portal

Jump to:navigation, search

zbMath1243.03079MaRDI QIDQ3086528

Juan Climent Vidal, J. Soliveres Tur

Publication date: 30 March 2011

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03C05: Equational classes, universal algebra in model theory

Related Items

A 2-categorial generalization of the concept of institution

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3086528&oldid=16150151"