LEADER 01194nam0-2200385-i-450-
001 990009338600403321
005 20110406123405.0
010   $a978-0-521-15433-8$bpaperback
035   $a000933860
035   $aFED01000933860
035   $a(Aleph)000933860FED01
035   $a000933860
100   $a20110406d2011----km-y0itay50------ba
101 0 $aeng
102   $aUS
105   $aa---a---001yy
200 1 $aForcing with random variables and proof complexity$fJan Krají?ek
210   $aCambridge$cCambridge University Press$d2011
215   $aXVI, 247 p.$d23 cm
225 1 $aLondon Mathematical Society lecture note series$v382
610 0 $aLogica matematica e fondamenti$aPresentazione di ricerche
610 0 $aModelli dell'aritmetica e della teoria degli insiemi
610 0 $aComplessitŕ delle dimostrazioni
676   $a511.3$v22$zita
700  1$aKrají?ek,$bJan
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a990009338600403321
952   $aC-9-(382$b24575$fMA1
959   $aMA1
962   $a03-02
962   $a03C62
962   $a03F20
996   $aForcing with random variables and proof complexity$9239993
997   $aUNINA