Bounded arithmetic, propositional logic, and complexity theory


Jan Krajíček
Bok Engelsk 1995
Utgitt
Cambridge : Cambridge University Press , 1995
Omfang
XIV, 343 s.
Emner
ISBN
0521452058

Bibliotek som har denne