..K

= home page = notes = online text = quotes = buy from iBS = buy from Amazon

Immanuel Kant

Philosopher.
[Kant29]	Critique of Pure Reason
	translated by Norman Kemp Smith, St Martins Press 1969.
	translated by J. M. Meiklejohn

Michael Kay

Software engineer, relational databases, XML, XSLT, Genealogical data markup language.
	Saxon

Peter Koellner

Set theory, ZF, CH, Carnap...
[KoellnerRS]	Research Statement
[Koellner2009]	Carnap on the Foundations of Logic and Mathematics

Michael Kohlhase

Higher-Order Unification and Theorem Proving, logics and calculi for partial functions, deduction systems as a whole, and natural language semantics.

Leszek Kolakowski

Philosophy. Positivism.
[Kolakowski1972]	Positivist Philosophy - From Hume to the Vienna Circle Penguin Books, 1972, paperback edition

Peter Kornerup

Computer arithmetic.

Saul A. Kripke

Philosophy. The semantics of modal logics.
[Kripke80]	Naming and Necessity Harvard University Press, 1980, paperback edition
[Kripke82]	Wittgenstein on Rules and Private Languages: An Elementary Exposition Harvard University Press, 1982

Thomas Kuhn

History and philosophy of science.
[Kuhn62]	The Structure of Scientific Revolutions; The University of Chicago Press, third edition 1996;
[Kuhn2000]	The Road Since Structure; The University of Chicago Press, 2000;

Kenneth Kunen

Axiomatic set theory. Logic programming and automated deduction.
[Kunen80]	Set Theory - an Introduction to Independence Proofs; Studies in Logic and the Foundations of Mathematics, North Holland, 1980;

---

© created 1998/2/13 modified 2011/04/21