Bounded arithmetic, propositional logic, and complexity theory /
Krajicek, Jan
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek. - Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995. - xiv, 343 σ. ; 24 εκ. - Encyclopedia of mathematics and its applications . - Encyclopedia of mathematics and its applications .
Περιλαμβάνει βιβλιογραφία και ευρετήριο.
0521452058
94047054
Μαθηματικά--Φιλοσοφία
Επιστήμη των υπολογιστών--Μαθηματικά
510.1
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek. - Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995. - xiv, 343 σ. ; 24 εκ. - Encyclopedia of mathematics and its applications . - Encyclopedia of mathematics and its applications .
Περιλαμβάνει βιβλιογραφία και ευρετήριο.
0521452058
94047054
Μαθηματικά--Φιλοσοφία
Επιστήμη των υπολογιστών--Μαθηματικά
510.1