Bounded Arithmetic, Propositional Logic, and Complexity Theory
Jan Krajicek Cambridge University Press.; B Doran; Philippe Flajolet; M Ismail; T. Y Lam; E Lutwak; Gian-Carlo Rota; E Wutwak
Cambridge Cambridge University Press 1995
Acesso online. A biblioteca também possui exemplares impressos.