Kant philosophy
Karel Lambert
Karl Marx
Kazimierz Ajdukiewicz
Kazimierz Kuratowski
Khwarazm
Kleene axiomatization
Knowledge Representation and Reasoning
Kreisel–Putnam logic
Kuratowski axiom set
Kurt Gödel