Bounded arithmetic, propositional logic, and complexity theory /

• Main Author: Krajicek, Jan (συγγραφέας)
• Format: Book
• Language: English
• Published: Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995.
• Series: Encyclopedia of mathematics and its applications
• Subjects: Μαθηματικά > Φιλοσοφία; Επιστήμη των υπολογιστών > Μαθηματικά
• Physical Description: xiv, 343 σ. ; 24 εκ.
• Bibliography: Περιλαμβάνει βιβλιογραφία και ευρετήριο.
• ISBN: 0521452058