58,65 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Andrew Bacon is Associate Professor at the University of Southern California. He is the author of Vagueness and Thought (Oxford UP, 2018) and has written numerous articles applying logical methods to topics in metaphysics, epistemology, and language.
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. Curry Typin 11. Application: Structure I 12. Application: Structure II 13. Application: Structure III 14. Applicative structures 15. Models of Higher-Order Languages 16. Logical Relations 17. Modalized Sets, M-Sets and Cartesian Closed Categories 18. The Model Theory of Classicism
| Erscheinungsjahr: | 2023 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Taschenbuch |
| Inhalt: | Einband - flex.(Paperback) |
| ISBN-13: | 9780367483012 |
| ISBN-10: | 0367483017 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Bacon, Andrew |
| Hersteller: | Taylor & Francis Ltd |
| Maße: | 174 x 246 x 32 mm |
| Von/Mit: | Andrew Bacon |
| Erscheinungsdatum: | 29.09.2023 |
| Gewicht: | 0,836 kg |
Andrew Bacon is Associate Professor at the University of Southern California. He is the author of Vagueness and Thought (Oxford UP, 2018) and has written numerous articles applying logical methods to topics in metaphysics, epistemology, and language.
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. Curry Typin 11. Application: Structure I 12. Application: Structure II 13. Application: Structure III 14. Applicative structures 15. Models of Higher-Order Languages 16. Logical Relations 17. Modalized Sets, M-Sets and Cartesian Closed Categories 18. The Model Theory of Classicism
| Erscheinungsjahr: | 2023 |
|---|---|
| Fachbereich: | Allgemeines |
| Genre: | Philosophie |
| Jahrhundert: | Antike |
| Rubrik: | Geisteswissenschaften |
| Thema: | Lexika |
| Medium: | Taschenbuch |
| Inhalt: | Einband - flex.(Paperback) |
| ISBN-13: | 9780367483012 |
| ISBN-10: | 0367483017 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Bacon, Andrew |
| Hersteller: | Taylor & Francis Ltd |
| Maße: | 174 x 246 x 32 mm |
| Von/Mit: | Andrew Bacon |
| Erscheinungsdatum: | 29.09.2023 |
| Gewicht: | 0,836 kg |
Ähnliche Produkte
Aktuell nicht verfügbar
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage