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
• Θέματα: Μαθηματικά > Φιλοσοφία; Επιστήμη των υπολογιστών > Μαθηματικά