. . . "40"^^ . . "20.186"^^ . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . . "0.5"^^ . "40.371"^^ . . "RIV/67985840:_____/11:00369674!RIV12-AV0-67985840" . "20"^^ . . . "Forcing with random variables and proof complexity" . "Gu91PYbG2H7wztYeMfZd7Vgn09A=" . "Forcing with random variables and proof complexity" . . . . . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F67985840%3A_____%2F11%3A00369674!RIV12-AV0-67985840"^^ . . . . . .