Publisher： Cambridge University Press
E-ISSN： 1943-5894|10|4|573-577
ISSN： 1079-8986
Source： Bulletin of Symbolic Logic, Vol.10, Iss.4, 2004-12, pp. : 573-577
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Steps toward a constructive nominalism
The Journal of Symbolic Logic, Vol. 12, Iss. 4, 1947-12 ,pp. :
Access to resources
Recommend
A note on nominalism and recursive functions
The Journal of Symbolic Logic, Vol. 14, Iss. 1, 1949-05 ,pp. :
The Journal of Symbolic Logic, Vol. 18, Iss. 1, 1953-03 ,pp. :
The Journal of Symbolic Logic, Vol. 50, Iss. 1, 1985-03 ,pp. :
A note on existential instantiation
The Journal of Symbolic Logic, Vol. 32, Iss. 1, 1967-06 ,pp. :