Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Vetenskap
  5. Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

av John L. (University of Western Ontario) Bell

del av Elements in Philosophy and Logic-serien

Higher-Order Logic and Type Theory av John L. (University of Western Ontario) Bell
Om Higher-Order Logic and Type Theory

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781108986908
  • Format:
  • Häftad
  • Sidor:
  • 75
  • Utgiven:
  • 31. mars 2022
  • Utgåva:
  • Mått:
  • 228x152x8 mm.
  • Vikt:
  • 148 g.
  I lager
Leveranstid: 4-7 vardagar
Förväntad leverans: 16. januari 2025

Om John L. (University of Western Ontario) Bell

Se alla böcker av John L. (University of Western Ontario) Bell

Beskrivning av Higher-Order Logic and Type Theory

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.

Användarnas betyg av Higher-Order Logic and Type Theory



Andra köpte även...
Hitta liknande böcker
Boken Higher-Order Logic and Type Theory finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.