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