A Partial Model of NF with E

Autor: Prati, N.
Zdroj: The Journal of Symbolic Logic, 1994 Dec 01. 59(4), 1245-1253.
Databáze: JSTOR Journals