Bounded arithmetic, propositional logic, and complexity theory
Saved in:
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2004.
|
| Series: | Encyclopedia of mathematics and its applications
60 |
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1017/CBO9780511529948 |
| ISBN: |
9780511529948 (online) |
| Physical Description: |
xiv, 343 s. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Titul je dostupný aj v ... 
| LEADER | 01412nam a2200457 a 4500 | ||
|---|---|---|---|
| 001 | 000442930 | ||
| 005 | 20140518113457.0 | ||
| 006 | m d | ||
| 007 | cr bn | ||
| 008 | 050817s2004 xxk f 001 0 eng d | ||
| 020 | |a 9780511529948 (online) | ||
| 040 | |a SVKKK |b slo |c SVKKK |e AACR2 | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 072 | 7 | |a 510 |x Všeobecné úvahy o matematike |2 konspekt | |
| 080 | |a 510.25 |2 2001 | ||
| 080 | |a 510.633 |2 2001 | ||
| 080 | |a 510.52 |2 2001 | ||
| 080 | |a (048.8) |2 2001 | ||
| 100 | 1 | |a Krajíček, Jan, |d 1960- |4 aut | |
| 245 | 1 | 0 | |a Bounded arithmetic, propositional logic, and complexity theory |h [elektronický dokument] |c Jan Krajíček. |
| 260 | |a Cambridge : |b Cambridge University Press, |c 2004. | ||
| 300 | |a xiv, 343 s. | ||
| 490 | 1 | |a Encyclopedia of mathematics and its applications |v 60 | |
| 504 | |a Bibliografia | ||
| 504 | |a Registre | ||
| 538 | |a Spôsob prístupu: World Wide Web | ||
| 650 | 0 | 7 | |a konštruktívna matematika |2 SVKKKPH |
| 650 | 0 | 7 | |a výroková logika |2 SVKKKPH |
| 650 | 0 | 7 | |a teória zložitosti |2 SVKKKPH |
| 655 | 7 | |a monografie |2 SVKKKPH | |
| 655 | 7 | |a www dokumenty |2 SVKKKPH | |
| 830 | 0 | |a Encyclopedia of mathematics and its applications |v 60 | |
| 856 | 4 | 1 | |u http://dx.doi.org/10.1017/CBO9780511529948 |
| 910 | |a svkkk | ||
| 998 | |a ER | ||
| a02 | 0 | |a 9780511529948 (online) | |
| 924 | |a EB | ||