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.
Logic, Construction, Computation
- Bindende:
- Hardback
- Sider:
- 542
- Utgitt:
- 20. juli 2012
- Vekt:
- 826 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 16. mai 2025
Beskrivelse av Logic, Construction, Computation
Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.
Brukervurderinger av Logic, Construction, Computation
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Logic, Construction, Computation finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2025 Tales.no
