ХАХАНЯН, В. Система NFI, равнонепротиворечивая с системой куайна NF.
Логические исследования
, v. 9, p. 245-250, 3 окт. 2002.