A method of generating part of arithmetic without use of intuitive logic
Quine, W. V.
Bull. Amer. Math. Soc., Tome 40 (1934) no. 12, p. 753-761 / Harvested from Project Euclid
Publié le : 1934-10-15
Classification: 
@article{1183497767,
     author = {Quine, W. V.},
     title = {A method of generating part of arithmetic without use of intuitive logic},
     journal = {Bull. Amer. Math. Soc.},
     volume = {40},
     number = {12},
     year = {1934},
     pages = { 753-761},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183497767}
}
Quine, W. V. A method of generating part of arithmetic without use of intuitive logic. Bull. Amer. Math. Soc., Tome 40 (1934) no. 12, pp.  753-761. http://gdmltest.u-ga.fr/item/1183497767/