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.
Introduction to Higher-Order Categorical Logic
- Bindende:
- Paperback
- Sider:
- 304
- Utgitt:
- 25 mars 1988
- Dimensjoner:
- 229x164x20 mm.
- Vekt:
- 462 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 30 juli 2024
Beskrivelse av Introduction to Higher-Order Categorical Logic
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.
Brukervurderinger av Introduction to Higher-Order Categorical Logic
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Introduction to Higher-Order Categorical Logic finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
