Eine philosophische Einführung in die Logik höherer Ordnung von Andrew Bacon Taschenbuch Bo
83,64 €
Introduction 1. Typed Languages 2. An Informal Introduction to Abstraction 3. λ-Languages 4 Higher-Order Languages 5 Higher-Order Logics 6 Application: Higher-Order Logic and Granularity 7 Application: Modal Logicism 8 Application: Consequences and Strengthenings of Classicism 9 General λ-Languages 10.
Jetzt bei Ebay:
![Produktbild - A Philosophical Introduction to Higher-Order Logics by Bacon, Andrew [Paperback]](https://i.ebayimg.com/thumbs/images/g/C0AAAOSw9LxniHZA/s-l140.jpg)
