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
• Θέματα: Μαθηματικά > Φιλοσοφία; Επιστήμη των υπολογιστών > Μαθηματικά
• Φυσική περιγραφή: xiv, 343 σ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφία και ευρετήριο.
• ISBN: 0521452058