Fibred and Indexed Categories for Abstract Model Theory.

Autor: Martini, Alfio1 alfio@inf.pucrs.br, Wolter, Uwe2 wolter@ii.uib.no, Haeusler, E. Hermann3 hermann@inf.puc-rio.br
Zdroj: Logic Journal of the IGPL. Oct2007, Vol. 15 Issue 5/6, p707-739. 33p.
Databáze: Business Source Ultimate