Introduction to Higher-order Categorical Logic (Cambridge Studies in Advanced
74,22 €
In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained.
Jetzt bei Ebay:
![Produktbild - Introduction to Logic Programming by Michael Michael Genesereth [Paperback]](https://i.ebayimg.com/thumbs/images/g/pZUAAeSwpCNoHhrN/s-l140.jpg)
![Produktbild - Studies in Inductive Logic and Probability, Volume I by Rudolf Carnap [Hardback]](https://i.ebayimg.com/thumbs/images/g/IG4AAeSwlShoGd9j/s-l140.jpg)
![Produktbild - Introduction to Logic: and to the Methodology of Deductive Sciences [Paperback]](https://i.ebayimg.com/thumbs/images/g/pjoAAOSwWAJncvJB/s-l140.jpg)
