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) |