@article{1183745958, author = {Fitting, Melvin}, title = {Review: Heinrich Wansing, Proof Theory of Modal Logic}, journal = {J. Symbolic Logic}, volume = {64}, number = {1}, year = {1999}, pages = { 1825-1828}, language = {en}, url = {http://dml.mathdoc.fr/item/1183745958} }
Fitting, Melvin. Review: Heinrich Wansing, Proof Theory of Modal Logic. J. Symbolic Logic, Tome 64 (1999) no. 1, pp. 1825-1828. http://gdmltest.u-ga.fr/item/1183745958/