Andere Kunden interessierten sich auch für
![Basic Category Theory]( "Basic Category Theory")
Basic Category Theory63,99 €![Introduction to Lattices and Order]( "Introduction to Lattices and Order")
Introduction to Lattices and Order72,99 €![An Introduction to Category Theory]( "An Introduction to Category Theory")
An Introduction to Category Theory37,99 €![An Introduction to Probabilistic Number Theory]( "An Introduction to Probabilistic Number Theory")
An Introduction to Probabilistic Number Theory48,99 €![Bounded Arithmetic, Propositional Logic and Complexity Theory]( "Bounded Arithmetic, Propositional Logic and Complexity Theory")
Bounded Arithmetic, Propositional Logic and Complexity Theory104,99 €![How to Prove It]( "How to Prove It")
How to Prove It98,99 €![Dependence Logic]( "Dependence Logic")
Dependence Logic65,99 €
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.