First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics, Band 611)

Mathematics

von Michael Makkai

Taschenbuch

ISBN-13: 978-3-540-08439-6

ISBN-10: 3-540-08439-8

Springer · 2009

S. auch:
1977PaperbackFirst order categorical logic: Model-theoretical methods in the theory of topoi and related categories (Lecture notes in mathematics ; 611)