First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi
60,34 €
Grothendieck topoi. - Interpretation of the logic in categories. - Axioms and rules of inference valid in categories. - Boolean and heyting valued models. - Conceptual completeness. - Theories as categories.
Jetzt bei Ebay:
