Forcing with random variables and proof complexity
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cambridge :
Cambridge University Press,
2011
|
| Edice: | London Mathematical Society lecture note series
|
| Žánr/forma: | učebnice vysokých škol |
| ISBN: | 978-0-521-15433-8 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| LEADER | 01631cam a2200421 a 4500 | ||
|---|---|---|---|
| 001 | 000967445 | ||
| 003 | CZ PrSTK | ||
| 005 | 20230105135851.0 | ||
| 008 | 110714s2011 xxka f 001 0 eng | ||
| 020 | |a 978-0-521-15433-8 |q (brož.) | ||
| 035 | |a (OCoLC)664450704 | ||
| 040 | |a DLC |b cze |c DLC |d YDX |d YDXCP |d BWX |d ABA001 |d ABA013 | ||
| 050 | 0 | 0 | |a QA267.7 |b .K73 2011 |
| 072 | 7 | |a 510 |x Obecné úvahy o matematice |2 Konspekt |9 13 | |
| 072 | 7 | |a 37.016 |x Učební osnovy. Vyučovací předměty. Učebnice |2 Konspekt |9 22 | |
| 080 | |a 510.7 |2 MRF | ||
| 080 | |a 510.52 |2 MRF | ||
| 080 | |a 510.6 |2 MRF | ||
| 080 | |a 510.633 |2 MRF | ||
| 080 | |a 517 |2 MRF | ||
| 080 | |a (075.8) |2 MRF | ||
| 100 | 1 | |a Krajíček, Jan, |d 1960- |7 jo2010589194 |4 aut | |
| 245 | 1 | 0 | |a Forcing with random variables and proof complexity / |c Jan Krajíček |
| 250 | |a 1st pub. | ||
| 260 | |a Cambridge : |b Cambridge University Press, |c 2011 | ||
| 300 | |a xvi, 247 s. ; |c 23 cm | ||
| 490 | 1 | |a London Mathematical Society lecture note series ; |v 382 | |
| 504 | |a Obsahuje bibliografii a rejstřík | ||
| 650 | 0 | 7 | |a matematická logika |x ma |7 psh7096 |2 psh |
| 650 | 0 | 7 | |a teorie důkazů |x ma |7 psh7123 |2 psh |
| 650 | 0 | 7 | |a výrokový kalkul |x ma |7 psh7100 |2 psh |
| 650 | 0 | 7 | |a teorie složitosti |x if |7 psh6608 |2 psh |
| 650 | 0 | 7 | |a výpočetní složitost |x ma |7 psh7768 |2 psh |
| 650 | 0 | 7 | |a matematická analýza |x ma |7 psh7410 |2 psh |
| 655 | 7 | |a učebnice vysokých škol |7 fd133772 |2 czenas | |
| 830 | 0 | |a London Mathematical Society lecture note series | |
| 910 | |a ABA013 |b A 51720 | ||
| 996 | |a STK |b 2660516983 |c 320/2016 |d 20160329 |f 1602.00 |g A 51720 |v QA267 .7 .K73 2011 |l 6.NP, regál 6D/117 |t 03 |0 K | ||