Zur Seitenansicht
 

Titelaufnahme

Titel
Forcing with random variables and proof complexity / Jan Krajíček
VerfasserKrajíček, Jan In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Jan Krajíček
ErschienenCambridge [u.a.] : Cambridge Univ. Press, 2011
UmfangXVI, 247 S.
SerieLondon Mathematical Society lecture note series ; 382
SchlagwörterBeweistheorie In Wikipedia suchen nach Beweistheorie / Berechnungskomplexität In Wikipedia suchen nach Berechnungskomplexität / Zufallsvariable In Wikipedia suchen nach Zufallsvariable
ISBN978-0-521-15433-8
ISBN0-521-15433-2
Links
Download Forcing with random variables and proof complexity [0,85 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)