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.
Proofs and Computations
del av Perspectives in Logic-serien
- Bindende:
- Hardback
- Sider:
- 480
- Utgitt:
- 15 desember 2011
- Dimensjoner:
- 233x158x29 mm.
- Vekt:
- 884 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 30 oktober 2024
Om Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Se alle bøkene av Helmut (Ludwig-Maximilians-Universitat Munchen) SchwichtenbergBeskrivelse av Proofs and Computations
Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.
Brukervurderinger av Proofs and Computations
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Proofs and Computations finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
