Smullyan, R. M. Abstract quantification theory. (English) Zbl 0206.27201 Intuitionism Proof Theory, Proc. Summer Conf. Buffalo N.Y. 1968, 79-91 (1970). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 03B10 Classical first-order logic 03B20 Subsystems of classical logic (including intuitionistic logic) 03F05 Cut-elimination and normal-form theorems Citations:Zbl 0195.012 PDFBibTeX XML