van Benthem, Johan; Doets, Kees Higher-order logic. 2nd ed. (English) Zbl 1003.03513 Gabbay, D. M. (ed.) et al., Handbook of philosophical logic. Vol. 1. Dordrecht: Kluwer Academic Publishers (ISBN 0-7923-7018-X/hbk). Handbook of Philosophical Logic 1, 189-243 (2001). For a review of the entire Handbook volume see Zbl 0996.03001.For the entire collection see [Zbl 0996.03001]. Cited in 6 Documents MSC: 03B15 Higher-order logic; type theory (MSC2010) Citations:Zbl 0996.03001 PDFBibTeX XMLCite \textit{J. van Benthem} and \textit{K. Doets}, Handb. Philos. Logic 1, 189--243 (2001; Zbl 1003.03513)