Higher-Order Logic

Authors	J.F.A.K. van Benthem H.C. Doets
Publication date	2001
Book title	Handbook of Philosophical Logic (second revised edition)
Pages (from-to)	1879-243
Publisher	Dordrecht: Kluwer
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	Chapter
Permalink to this page