Skip to contents Došen, Kosta [Author] Cut elimination in categories Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer Academic, c1999 Published in: Trends in logic ; 6 Adámek, Jiří [Author] ; Rosický, Jir̆í [Other] Locally presentable and accessible categories Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1994 Published in: London Mathematical Society: Lecture note series / London Mathematical Society ; 189 Makkai, Michael [Author]; Reyes, Gonzalo E. [Author] First order categorical logic : model-theoretical methods in the theory of topoi and related categories Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1977 Published in: Lecture notes in mathematics ; 611 Makkai, Michael [Author] ; Reyes, Gonzalo E. [Other] First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories Books View online Schließen > Access ... to E-book via DOI (Volltext ; Deutschlandweit zugänglich) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1977 Published in: Lecture notes in mathematics ; 611
Došen, Kosta [Author] Cut elimination in categories Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer Academic, c1999 Published in: Trends in logic ; 6
Adámek, Jiří [Author] ; Rosický, Jir̆í [Other] Locally presentable and accessible categories Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1994 Published in: London Mathematical Society: Lecture note series / London Mathematical Society ; 189
Makkai, Michael [Author]; Reyes, Gonzalo E. [Author] First order categorical logic : model-theoretical methods in the theory of topoi and related categories Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1977 Published in: Lecture notes in mathematics ; 611
Makkai, Michael [Author] ; Reyes, Gonzalo E. [Other] First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories Books View online Schließen > Access ... to E-book via DOI (Volltext ; Deutschlandweit zugänglich) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1977 Published in: Lecture notes in mathematics ; 611
> Availability Skip to next facet Open Shelves (2) Wert ausschließen Stack Collection (1) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (2) Wert ausschließen Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (4) Wert ausschließen Philosophy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Makkai, Michael (2) Wert ausschließen Reyes, Gonzalo E. (2) Wert ausschließen Adámek, Jiří (1) Wert ausschließen Došen, Kosta (1) Wert ausschließen Rosický, Jir̆í (1) Wert ausschließen Show more show less