Bounded arithmetic, propositional logic, and complexity theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Krajihcek, Jan
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge [England] Cambridge University Press c1995.
Σειρά:Encyclopedia of mathematics and its applications v.60
Θέματα: