Thumbnail
Access Restriction
Open

Author Kaye, Richard
Source Project Euclid
Content type Text
File Format PDF
Subject Domain (in DDC) Natural sciences & mathematics ♦ Mathematics
Subject Keyword Nonclassical and second-order set theories (03E70) ♦ Decidability of theories and sets of sentences (03B25)
Description New foundations quantifier complexity
Learning Resource Type Article
Publisher Date 1996-01-01
Journal Bull. Belg. Math. Soc. Simon Stevin
Volume Number 3
Issue Number 3
Page Count 12
Starting Page 301
Ending Page 312