Kees Doets (doets)
Contributions to Philosophie.ch
No contributions yet
Bibliography
van Benthem, Johan and Doets, Kees. 1983. “Higher-Order Logic.” in Handbook of Philosophical Logic, Volume I: Elements of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 275–329. Synthese Library n. 164. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as van Benthem and Doets (2001).
van Benthem, Johan and Doets, Kees. 2001. “Higher-Order Logic.” in Handbook of Philosophical Logic, Volume I, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 189–244. Dordrecht: Springer. First publication as van Benthem and Doets (1983).
Dalla Chiara, Maria Luisa, Doets, Kees, Mundici, Daniele and Benthem, Johan van, eds. 1997a. Logic, Methodology and Philosophy of Science X: Logic and Scientific Methods – Volume One of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, 1995. Synthese Library n. 259. Dordrecht: Kluwer Academic Publishers.
Dalla Chiara, Maria Luisa, Doets, Kees, Mundici, Daniele and Benthem, Johan van, eds. 1997b. Logic, Methodology and Philosophy of Science X: Logic and Scientific Methods – Volume Two of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, 1995. Synthese Library n. 260. Dordrecht: Kluwer Academic Publishers.
Doets, Kees. 1991. “Axiomatizing Universal Properties of Quantifiers.” The Journal of Symbolic Logic 56: 901–905.