Einfache Typentheorie: Eine praktische Logik zum Ausdrücken und Denken
104,46 €
The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. Provides the reader with a logic that is close to mathematical practice.
Jetzt bei Ebay:
![Produktbild - Logic in Computer Science: Modelling and Reasoning about Systems [Paperback]](https://i.ebayimg.com/thumbs/images/g/DLgAAeSw4choU0vt/s-l140.jpg)
![Produktbild - Legal Reasoning and Legal Theory (Clarendon Law Series) [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/Bu4AAeSwNrZoU4kq/s-l140.jpg)
![Produktbild - Logic in the Theory and Practice of Lawmaking (Legisprudence Library) [Hardback]](https://i.ebayimg.com/thumbs/images/g/8gkAAeSw1sJoXNb3/s-l140.jpg)
![Produktbild - Reasoning about Knowledge by Ronald Fagin [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/K~8AAeSw2U5oQZ00/s-l140.jpg)
