Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 49,30
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 51,10
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 52,77
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
EUR 55,55
Autre deviseQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. A Philosophical Introduction to Higher-order Logics 1.74. Book.
EUR 49,62
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 49,54
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 46,42
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 55,90
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 54,31
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
EUR 53,77
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback / softback. Etat : New. New copy - Usually dispatched within 4 working days. 890.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 82
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 520 pages. 9.69x6.88x0.98 inches. In Stock.
Edité par Taylor & Francis Ltd, London, 2023
ISBN 10 : 0367483017 ISBN 13 : 9780367483012
Langue: anglais
Vendeur : CitiRetail, Stevenage, Royaume-Uni
EUR 63,71
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 181,70
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 182,20
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 201,02
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 195,49
Autre deviseQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 207,60
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 205,56
Autre deviseQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 198,48
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 198,39
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
EUR 198,40
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardback. Etat : New. New copy - Usually dispatched within 4 working days. 1050.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 214,93
Autre deviseQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : New.
Edité par Taylor & Francis Ltd, London, 2023
ISBN 10 : 0367483025 ISBN 13 : 9780367483029
Langue: anglais
Vendeur : CitiRetail, Stevenage, Royaume-Uni
EUR 208,30
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 276,78
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 520 pages. 9.69x6.88x1.10 inches. In Stock.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 54,67
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 520 pages. 9.69x6.88x0.98 inches. In Stock. This item is printed on demand.
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
EUR 66,61
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 60,39
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierPAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 49,60
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 57,99
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
EUR 199,92
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.