Publié le : 1982-10-14
Classification:
03B10,
03C15
@article{1093870148,
author = {Hugly, Philip and Sayward, Charles},
title = {Indenumerability and substitutional quantification.},
journal = {Notre Dame J. Formal Logic},
volume = {23},
number = {3},
year = {1982},
pages = { 358-366},
language = {en},
url = {http://dml.mathdoc.fr/item/1093870148}
}
Hugly, Philip; Sayward, Charles. Indenumerability and substitutional quantification.. Notre Dame J. Formal Logic, Tome 23 (1982) no. 3, pp. 358-366. http://gdmltest.u-ga.fr/item/1093870148/