---
title: "John L. Bell Higher-Order Logic and Type Theory"
ean: "9781108986908"
brand: "John L. Bell"
category: "Medier > Bøger"
price_min: 224
price_max: 224
currency: DKK
vendor_count: 1
in_stock: true
url: https://pricetracker.dk/p/9781108986908/higher-order-logic-and-type-theory
last_checked: 2026-10-21
---

# John L. Bell Higher-Order Logic and Type Theory

EAN 9781108986908 · Mærke: John L. Bell · Kategori: Medier > Bøger

Sammenlign priser på John L. Bell Higher-Order Logic and Type Theory fra 1 forhandler. Billigste pris nu: 224 kr hos Saxo DK. Se aktuelle priser og køb hos den billigste forhandler på https://pricetracker.dk/p/9781108986908/higher-order-logic-and-type-theory

## Priser
- **Billigste pris nu:** 224 kr hos Saxo DK
- **Prisspænd:** 224 kr – 224 kr på tværs af 1 forhandler
- **Historisk lavpris:** 194 kr (oktober 2026)

## Forhandlere
| Forhandler | Pris | Levering |
|---|---|---|
| Saxo DK | 224 kr | 1-4 hverdage |

## Om produktet
Beskrivelse fra forhandleren Saxo DK:

> This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined.

---

Kilde: PriceTracker. Fuld side med interaktiv prishistorik og købslinks: https://pricetracker.dk/p/9781108986908/higher-order-logic-and-type-theory
Priserne er sidst kontrolleret 2026-10-21.