@article{1183730983, author = {Hailperin, Theodore}, title = {Review: Hao Wang, A Formal System of Logic}, journal = {J. Symbolic Logic}, volume = {14}, number = {4}, year = {1950}, pages = { 228-229}, language = {en}, url = {http://dml.mathdoc.fr/item/1183730983} }
Hailperin, Theodore. Review: Hao Wang, A Formal System of Logic. J. Symbolic Logic, Tome 14 (1950) no. 4, pp. 228-229. http://gdmltest.u-ga.fr/item/1183730983/