@article{1183736069, author = {Zeman, J. Jay}, title = {A System of Implicit Quantification}, journal = {J. Symbolic Logic}, volume = {32}, number = {1}, year = {1967}, pages = { 480-504}, language = {en}, url = {http://dml.mathdoc.fr/item/1183736069} }
Zeman, J. Jay. A System of Implicit Quantification. J. Symbolic Logic, Tome 32 (1967) no. 1, pp. 480-504. http://gdmltest.u-ga.fr/item/1183736069/