Order Total (1 Item Items):
Shipping Destination:
Philosophical Introduction Higher Order Logics by Bacon Andrew (32 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (32)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (4)
- Not Print on Demand (23)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
US$ 53.44
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New.
-
US$ 57.19
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback or Softback. Condition: New. A Philosophical Introduction to Higher-order Logics 1.74. Book.
-
US$ 53.78
Convert currencyUS$ 8.64 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: New.
-
US$ 57.30
Convert currencyUS$ 11.17 shipping from Germany to U.S.A.Quantity: 4 available
Add to basketCondition: New.
-
Philosophical Introduction to Higher Order Logics
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 51.84
Convert currencyUS$ 19.93 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
A Philosophical Introduction to Higher-order Logics
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 62.43
Convert currencyUS$ 15.92 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Philosophical Introduction to Higher Order Logics
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 60.37
Convert currencyUS$ 19.93 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
A Philosophical Introduction to Higher-order Logics
Published by Taylor & Francis Ltd, 2023
ISBN 10: 0367483017 ISBN 13: 9780367483012
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 60.05
Convert currencyUS$ 20.79 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 890.
-
US$ 91.40
Convert currencyUS$ 13.29 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 520 pages. 9.69x6.88x0.98 inches. In Stock.
-
A Philosophical Introduction to Higher-order Logics (Paperback)
Published by Taylor & Francis Ltd, London, 2023
ISBN 10: 0367483017 ISBN 13: 9780367483012
Language: English
US$ 71.15
Convert currencyUS$ 49.16 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: 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.
-
US$ 197.15
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Philosophical Introduction to Higher Order Logics
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 203.49
Convert currencyUS$ 19.93 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 217.86
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 211.87
Convert currencyUS$ 8.64 shipping from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
Condition: New.
-
A Philosophical Introduction to Higher-order Logics
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 221.67
Convert currencyUS$ 15.92 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Philosophical Introduction to Higher Order Logics
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 221.56
Convert currencyUS$ 19.93 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
A Philosophical Introduction to Higher-order Logics
Published by Taylor & Francis Ltd, 2023
ISBN 10: 0367483025 ISBN 13: 9780367483029
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 221.57
Convert currencyUS$ 22.92 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days. 1050.
-
US$ 246.34
Convert currencyUS$ 11.17 shipping from Germany to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
A Philosophical Introduction to Higher-order Logics (Hardcover)
Published by Taylor & Francis Ltd, London, 2023
ISBN 10: 0367483025 ISBN 13: 9780367483029
Language: English
US$ 232.63
Convert currencyUS$ 49.16 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: 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.
-
US$ 292.95
Convert currencyUS$ 13.29 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketHardcover. Condition: Brand New. 520 pages. 9.69x6.88x1.10 inches. In Stock.
-
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
US$ 61.05
Convert currencyUS$ 13.29 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 520 pages. 9.69x6.88x0.98 inches. In Stock. This item is printed on demand.
-
A Philosophical Introduction to Higher-order Logics
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
US$ 67.44
Convert currencyUS$ 7.80 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
A Philosophical Introduction to Higher-order Logics
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
US$ 57.36
Convert currencyUS$ 25.82 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: 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.
-
US$ 67.07
Convert currencyUS$ 36.22 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: 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.
-
A Philosophical Introduction to Higher-order Logics
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
US$ 223.27
Convert currencyUS$ 8.98 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
