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 |
Externí odkaz: |