A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| Katriňák, Tibor, $M$-POLAREN IN HALBGEORDNETEN MENGEN (1970) |
| Katriňák, Tibor, Die Kennzeichnung der distributiven pseudokomplementären Halbverbände (1970) |
| Katriňák, Tibor, Über eine Konstruktion der distributiven pseudokomplementären Verbände (1972) |
| Katriňák, Tibor, Primitive Klassen von modularen $S$-Algebren (1973) |
| Katz, Robert, Classical Sentential Logic Based on Logical Equivalence (1994) |
| Kaufman, Bruris, Iterative Computation of String Nesting (Fortran Code) |
| Kaufmann, Matt, Addenda to the Paper "Models with Second Order Properties III: Omitting Types for L(Q)" by Saharon Shelah, as Written Up by Wilfred Hodges |
| Kaufmann, Matt, Completeness Theorems for Logic with the Quantifier (I) There Exists Uncountably Many (Keisler); and (II) There Exists an uncountable homogeneous set for Q (Mag |
| Kaufmann, Matthew Jay, Some Results in Stationary Logic (1978) |
| Kaye, Richard, Models of Peano Arithmetic (1991) |