Zur Seitenansicht

Titelaufnahme

    Titel
    Forcing with random variables and proof complexity / Jan Krajíček
    VerfasserKrajíček, Jan
    ErschienenCambridge [u.a.] : Cambridge Univ. Press, 2011
    UmfangXVI, 247 S.
    Serie
    London Mathematical Society lecture note series ; 382
    SchlagwörterBeweistheorie / Berechnungskomplexität / Zufallsvariable
    ISBN978-0-521-15433-8
    ISBN0-521-15433-2
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes