Arithmetic, Proof Theory, and Computational Complexity
indgår i Oxford Logic Guides serien
- Indbinding:
- Hardback
- Sideantal:
- 442
- Udgivet:
- 6. maj 1993
- Størrelse:
- 162x242x30 mm.
- Vægt:
- 810 g.
- 2-3 uger.
- 6. december 2024
På lager
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Beskrivelse af Arithmetic, Proof Theory, and Computational Complexity
This book principally concerns the area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questions together with a bibliography of references.
Brugerbedømmelser af Arithmetic, Proof Theory, and Computational Complexity
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Arithmetic, Proof Theory, and Computational Complexity findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621