Definition of substitution
Quine, W. V.
Bull. Amer. Math. Soc., Tome 42 (1936) no. 12, p. 561-569 / Harvested from Project Euclid
Publié le : 1936-08-14
Classification: 
@article{1183499108,
     author = {Quine, W. V.},
     title = {Definition of substitution},
     journal = {Bull. Amer. Math. Soc.},
     volume = {42},
     number = {12},
     year = {1936},
     pages = { 561-569},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183499108}
}
Quine, W. V. Definition of substitution. Bull. Amer. Math. Soc., Tome 42 (1936) no. 12, pp.  561-569. http://gdmltest.u-ga.fr/item/1183499108/