Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 48,97
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
EUR 47,64
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 48,45
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 54,22
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 45,02
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 52,15
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 890.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 46,62
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 48,64
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 60,34
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 56,65
Convertir monedaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. A Philosophical Introduction to Higher-order Logics 1.74. Book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 51,65
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 52,42
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 82,54
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 520 pages. 9.69x6.88x0.98 inches. In Stock.
Publicado por Taylor & Francis Ltd, London, 2023
ISBN 10: 0367483017 ISBN 13: 9780367483012
Idioma: Inglés
Librería: CitiRetail, Stevenage, Reino Unido
EUR 64,75
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This is the first comprehensive textbook on higher-order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languagestheir model theory and proof theory, the theory of l-abstraction and its generalizationsand their philosophical applications, especially to the topics of modality and propositional granularity. The book has a strong focus on non-extensional higher-order logics, making it more appropriate for foundational metaphysics than other introductions to the subject from computer science, mathematics, and linguistics. A Philosophical Introduction to Higher-order Logics assumes only that readers have a basic knowledge of first-order logic. With an emphasis on exercises, it can be used as a textbook though is also ideal for self-study.Author Andrew Bacon organizes the book's 18 chapters around four main parts:I. Typed LanguageII. Higher-Order LanguagesIII. General Higher-Order LanguagesIV. Higher-Order Model Theory In addition, two appendices cover the Curry-Howard isomorphism and its applications for modeling propositional structure. Each chapter includes exercises that move from easier to more difficult, strategically placed throughout the chapter, and concludes with an annotated suggested reading list providing graduate students with most valuable additional resources. Key Features: Is the first comprehensive introduction to higher-order logic as a grounding for addressing problems in metaphysicsIntroduces the basic formal tools that are needed to theorize in, and model, higher-order languagesOffers an abundance of- Simple exercises throughout the book, serving as comprehension checks on basic concepts and definitions- More difficult exercises designed to facilitate long-term learningContains annotated sections on further reading, pointing the reader to related literature, learning resources, and historical context This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 176,43
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 176,64
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
EUR 188,01
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 192,79
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: New. New copy - Usually dispatched within 4 working days. 1050.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 199,66
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 199,92
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 193,38
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 192,78
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 206,41
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 212,63
Convertir monedaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Publicado por Taylor & Francis Ltd, London, 2023
ISBN 10: 0367483025 ISBN 13: 9780367483029
Idioma: Inglés
Librería: CitiRetail, Stevenage, Reino Unido
EUR 216,28
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: new. Hardcover. This is the first comprehensive textbook on higher-order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languagestheir model theory and proof theory, the theory of l-abstraction and its generalizationsand their philosophical applications, especially to the topics of modality and propositional granularity. The book has a strong focus on non-extensional higher-order logics, making it more appropriate for foundational metaphysics than other introductions to the subject from computer science, mathematics, and linguistics. A Philosophical Introduction to Higher-order Logics assumes only that readers have a basic knowledge of first-order logic. With an emphasis on exercises, it can be used as a textbook though is also ideal for self-study.Author Andrew Bacon organizes the book's 18 chapters around four main parts:I. Typed LanguageII. Higher-Order LanguagesIII. General Higher-Order LanguagesIV. Higher-Order Model Theory In addition, two appendices cover the Curry-Howard isomorphism and its applications for modeling propositional structure. Each chapter includes exercises that move from easier to more difficult, strategically placed throughout the chapter, and concludes with an annotated suggested reading list providing graduate students with most valuable additional resources. Key Features: Is the first comprehensive introduction to higher-order logic as a grounding for addressing problems in metaphysicsIntroduces the basic formal tools that are needed to theorize in, and model, higher-order languagesOffers an abundance of- Simple exercises throughout the book, serving as comprehension checks on basic concepts and definitions- More difficult exercises designed to facilitate long-term learningContains annotated sections on further reading, pointing the reader to related literature, learning resources, and historical context This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 265,07
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 520 pages. 9.69x6.88x1.10 inches. In Stock.
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 49,60
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first comprehensive textbook on higher-order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages-their model theory and proof theory, the theory of -abstraction and its generalizations-and their philosophical applications, especially to the topics of modality and propositional granularity. The book has a strong focus on non-extensional higher-order logics, making it more appropriate for foundational metaphysics than other introductions to the subject from computer science, mathematics, and linguistics. A Philosophical Introduction to Higher-order Logics assumes only that readers have a basic knowledge of first-order logic. With an emphasis on exercises, it can be used as a textbook though is also ideal for self-study.Author Andrew Bacon organizes the book's 18 chapters around four main parts:I. Typed LanguageII. Higher-Order LanguagesIII. General Higher-Order LanguagesIV. Higher-Order Model Theory In addition, two appendices cover the Curry-Howard isomorphism and its applications for modeling propositional structure. Each chapter includes exercises that move from easier to more difficult, strategically placed throughout the chapter, and concludes with an annotated suggested reading list providing graduate students with most valuable additional resources. Key Features:Is the first comprehensive introduction to higher-order logic as a grounding for addressing problems in metaphysicsIntroduces the basic formal tools that are needed to theorize in, and model, higher-order languagesOffers an abundance of- Simple exercises throughout the book, serving as comprehension checks on basic concepts and definitions- More difficult exercises designed to facilitate long-term learningContains annotated sections on further reading, pointing the reader to related literature, learning resources, and historical context 484 pp. Englisch.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 53,02
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 520 pages. 9.69x6.88x0.98 inches. In Stock. This item is printed on demand.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 61,36
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 68,36
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.