First Order Categorical Logic
Model-Theoretical Methods in the Theory of Topoi and Related Categories
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
M. Makkai
Themen in »First Order Categorical Logic«
Kategorie (Math.) Mathematische Logik Morphism Topos (Math.) category theory mathematical logic theorem
Stimmen zu »First Order Categorical Logic«
Details
ISBN: 9783540084396
Verlag: Springer Berlin
Erscheinung: 01.09.1977