Статья

Corcoran, John.
Existential-import mathematics / J. Corcoran // The Bulletin of Symbolic Logic. – 2015. – Vol.21, № 1. – P. 1-14.