@article{1183745655, author = {Dyckhoff, Roy}, title = {Review: A. S. Troelstra, H. Schwichtenberg, Basic Proof Theory}, journal = {J. Symbolic Logic}, volume = {63}, number = {1}, year = {1998}, pages = { 1605-1606}, language = {en}, url = {http://dml.mathdoc.fr/item/1183745655} }
Dyckhoff, Roy. Review: A. S. Troelstra, H. Schwichtenberg, Basic Proof Theory. J. Symbolic Logic, Tome 63 (1998) no. 1, pp. 1605-1606. http://gdmltest.u-ga.fr/item/1183745655/