Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Higher-Order Logic and Type Theory
- Bindende:
- Paperback
- Sider:
- 75
- Utgitt:
- 31. mars 2022
- Utgave:
- Dimensjoner:
- 228x152x8 mm.
- Vekt:
- 148 g.
På lager
Leveringstid:
4-8 virkedager
Forventet levering: 14. januar 2025
Om John L. (University of Western Ontario) Bell
Se alle bøkene av John L. (University of Western Ontario) BellBeskrivelse 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.
Brukervurderinger av Higher-Order Logic and Type Theory
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Higher-Order Logic and Type Theory finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2025 Tales.no
