Andere Kunden interessierten sich auch für
![Topological Duality for Distributive Lattices]( "Topological Duality for Distributive Lattices")
Topological Duality for Distributive Lattices78,99 €![Modern Mathematical Logic]( "Modern Mathematical Logic")
Modern Mathematical Logic48,99 €![Mathematical Logic and Computation]( "Mathematical Logic and Computation")
Mathematical Logic and Computation71,99 €![Modal Logic]( "Modal Logic")
Modal Logic103,99 €![Can You Solve My Problems?]( "Can You Solve My Problems?")
Can You Solve My Problems?18,99 €![Logic for Kids]( "Logic for Kids")
Logic for Kids56,99 €![Quantum Computation]( "Quantum Computation")
Quantum Computation84,99 €
The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.