

Philosopher.  
[Kant29]  Critique of Pure Reason  
translated by Norman Kemp Smith, St Martins Press 1969.  
translated by J. M. Meiklejohn 
Software engineer, relational databases, XML, XSLT, Genealogical data markup language.  
Saxon 
Set theory, ZF, CH, Carnap...  
[KoellnerRS]  Research Statement  
[Koellner2009]  Carnap on the Foundations of Logic and Mathematics 
HigherOrder Unification and Theorem Proving, logics and calculi for partial functions, deduction systems as a whole, and natural language semantics. 
Philosophy. Positivism.  
[Kolakowski1972]  Positivist Philosophy  From Hume to the Vienna Circle Penguin Books, 1972, paperback edition 
Computer arithmetic. 
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 
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; 
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; 