Forcing with Random Variables and Proof Complexity (Bog, Paperback / softback, Engelsk) af Jan (Charles University Krajicek
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematisk datateori
  6. Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity

(Bog, Paperback / softback, Engelsk)
Forfatter: Jan (Charles University Krajicek
Forcing with Random Variables and Proof Complexity
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Aimed at researchers and graduate students in mathematics and theoretical computer science, who are interested in logical approaches to fundamental problems of computational complexity theory, and of proof complexity in particular.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Jan (Charles University Krajicek
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 23-12-2010
Første udgivelsesår 2010
Serie London Mathematical Society Lecture Note Series
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 264
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 264 pages, Worked examples or Exercises
Mål 225 x 152 x 15
ISBN-13 / EAN-13 9780521154338