1
TITLE: CONSISTENCY OF STRICTLY IMPREDICATIVE NF AND A LITTLE MORE
AUTHORS: Sergei Tupailo;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, ISSUE: 4
INDEXED IN: Scopus WOS