Bounded arithmetic, propositional logic, and complexity theory /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Krajicek, Jan (συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995.
Σειρά:Encyclopedia of mathematics and its applications
Θέματα:
Διαθέσιμο Online:Publisher description
Table of contents
LEADER 01403cam a22002897i 4500
001 1599344
005 20210117210151.0
008 941222s1995 enk f 001 0 eng d
010 |a  94047054  
020 |a 0521452058 
040 |a DLC  |b gre  |c DLC  |d DLC  |d GR-PaULI  |e AACR2 
082 0 4 |a 510.1  |2 23 
100 1 |a Krajicek, Jan  |9 44998  |e συγγραφέας 
245 1 0 |a Bounded arithmetic, propositional logic, and complexity theory /  |c Jan Krajicek. 
260 |a Cambridge [England] ;  |a New York, NY, USA :  |b Cambridge University Press,  |c 1995. 
300 |a xiv, 343 σ. ;  |c 24 εκ. 
490 1 |a Encyclopedia of mathematics and its applications 
504 |a Περιλαμβάνει βιβλιογραφία και ευρετήριο. 
650 0 4 |a Μαθηματικά  |9 308  |x Φιλοσοφία 
650 0 4 |a Επιστήμη των υπολογιστών  |9 875  |x Μαθηματικά 
830 |a Encyclopedia of mathematics and its applications  |9 156092 
856 4 2 |3 Publisher description  |u http://www.loc.gov/catdir/description/cam026/94047054.html 
856 4 1 |3 Table of contents  |u http://www.loc.gov/catdir/toc/cam024/94047054.html 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |2 ddc  |4 0  |6 510_100000000000000_KRA  |7 0  |9 204467  |a PHIL  |b PHIL  |d 2016-07-28  |i 6941  |l 0  |o 510.1 KRA  |p 025000171400  |r 2016-07-28 00:00:00  |t 1  |v 2016.00  |w 2016-07-28  |y BK15 
998 |c ΚΑΝΕΛΛΟΠΟΥΛΟΥ  |d 2016-07 
999 |c 124464  |d 124464