@article{1183745887,
author = {Clote, P.},
title = {Review: Jan Krajicek, Bounded Arithmetic, Propositional Logic, and Complexity Theory},
journal = {J. Symbolic Logic},
volume = {64},
number = {1},
year = {1999},
pages = { 1357-1362},
language = {en},
url = {http://dml.mathdoc.fr/item/1183745887}
}
Clote, P. Review: Jan Krajicek, Bounded Arithmetic, Propositional Logic, and Complexity Theory. J. Symbolic Logic, Tome 64 (1999) no. 1, pp. 1357-1362. http://gdmltest.u-ga.fr/item/1183745887/