×

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].

MSC:

03B15 Higher-order logic; type theory (MSC2010)

Citations:

Zbl 0996.03001
PDFBibTeX XMLCite