Bounded arithmetic, propositional logic, and complexity theory

Saved in:
Bibliographic Details
Main Author: Krajíček, Jan, 1960- (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!

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