@article{1093891498, author = {Wilde, Alan C.}, title = {A substitution property.}, journal = {Notre Dame J. Formal Logic}, volume = {15}, number = {1}, year = {1974}, pages = { 639-640}, language = {en}, url = {http://dml.mathdoc.fr/item/1093891498} }
Wilde, Alan C. A substitution property.. Notre Dame J. Formal Logic, Tome 15 (1974) no. 1, pp. 639-640. http://gdmltest.u-ga.fr/item/1093891498/