MATHEMATICS

Consistency of a fragment of Quine’s $\mathrm{NF}$ system

V. N. Grishin

All-Union Institute for Scientific and Technical Information of Russian Academy of Sciences, Moskov

UDC: 517.12:164.02+519.5

Presented: P. S. Novikov
Received: 13.03.1969

Bibliographic databases:

• 
•