Higher-Order Logic and Type Theory (Bog, Paperback / softback, Engelsk) af John L. (University of Western Ontario) Bell
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Mængdelære
  5. Filosofi: logik
  6. Filosofi
  7. Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

(Bog, Paperback / softback, Engelsk)
Forfatter: John L. (University of Western Ontario) Bell
Higher-Order Logic and Type Theory
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Filosofi Filosofi: logik Mængdelære
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter John L. (University of Western Ontario) Bell
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave New ed
Udgivelsesdato 31-03-2022
Første udgivelsesår 2022
Serie Elements in Philosophy and Logic
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 88
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 88 pages, Worked examples or Exercises
Mål 152 x 228 x 8
ISBN-13 / EAN-13 9781108986908