@article{1093883561, author = {Shapiro, Stewart}, title = {Acceptable notation.}, journal = {Notre Dame J. Formal Logic}, volume = {23}, number = {3}, year = {1982}, pages = { 14-20}, language = {en}, url = {http://dml.mathdoc.fr/item/1093883561} }
Shapiro, Stewart. Acceptable notation.. Notre Dame J. Formal Logic, Tome 23 (1982) no. 3, pp. 14-20. http://gdmltest.u-ga.fr/item/1093883561/