000 01233n a2200337#a 4500
001 34889
003 P5A
005 20231124142114.0
008 100823s2011 enka b 001 0 eng||
010 _a2010036194
020 _a9780521154338 (pbk.)
020 _a0521154332 (pbk.)
035 _a(OCoLC)664450704
035 _a(OCoLC)
040 _aDLC
_beng
_cDLC
_dIG#
_dINU
_dUKMGB
082 _a511.3
_bK89f
090 _alf2
100 1 _aKrajícek, Jan.
245 1 0 _aForcing with random variables and proof complexity/
_cJan Krajicek.
260 _aCambridge, UK;
_aNew York:
_bCambridge University Press,
_c2011.
300 _axvi, 247 p.:
_bill.;
_c23 cm.
490 1 _aLondon Mathematical Society lecture note series;
_v382
504 _aIncludes bibliographical references (p. 236-242) and indexes.
650 0 0 _aComputational complexity.
_943792
650 0 0 _aRandom variables
_937421
650 0 0 _aMathematical analysis.
_943440
697 _aLógica e Fundamentos 02-
_xLógica Matemática e Funções Recursivas.
_923728
830 0 _aLondon Mathematical Society lecture note series;
_v382.
_97320
856 4 2 _3Cover image
_uhttp://assets.cambridge.org/97805211/54338/cover/9780521154338.jpg
942 _2impa
_cBK
999 _c33795
_d33795