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.
Twenty Five Years of Constructive Type Theory
del av Oxford Logic Guides-serien
- Bindende:
- Hardback
- Sider:
- 292
- Utgitt:
- 15. oktober 1998
- Dimensjoner:
- 161x242x20 mm.
- Vekt:
- 588 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 20. januar 2025
Utvidet returrett til 31. januar 2025
Om Giovanni (Professor of Mathematical Logic Sambin
Se alle bøkene av Giovanni (Professor of Mathematical Logic SambinBeskrivelse av Twenty Five Years of Constructive Type Theory
Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.
Brukervurderinger av Twenty Five Years of Constructive Type Theory
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Twenty Five Years of Constructive Type Theory finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Bokreolen.no
