Bounded arithmetic, propositional logic, and complexity theory

Opis bibliograficzny
1. autor: Krajihcek, Jan
Format: Książka
Język:English
Wydane: Cambridge [England] Cambridge University Press c1995.
Seria:Encyclopedia of mathematics and its applications v.60
Hasła przedmiotowe: