---
title: "John L. Bell Higher-Order Logic and Type Theory"
brand: "John L. Bell"
category: "Ukategoriseret"
price_min: 219
currency: DKK
vendor_count: 1
in_stock: true
url: https://pricetracker.dk/p/higher-order-logic-and-type-theory-f7c2a6
last_checked: 2026-07-22
---

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

Mærke: John L. Bell · Kategori: Ukategoriseret

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

## Priser
- **Billigste pris nu:** 219 kr hos Saxo DK

## Forhandlere
| Forhandler | Pris | Levering |
|---|---|---|
| Saxo DK | 219 kr | — |

## Om produktet
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/higher-order-logic-and-type-theory-f7c2a6
Priserne er sidst kontrolleret 2026-07-22.