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

Krivine, J. L., CALCUL DES PREDICATS A PLUSIEURS TYPES D'OBJETS THEORIE DES TYPES (CALCUL DES PREDICATS D'ORDRE FINI) (1964) |

Krohn, Kenneth ; Mateosian, Richard ; Rhodes, John, Complexity of Ideals in Finite Semigroups and Finite State Machines (1966) |

Krohn, Kenneth ; Rhodes, John, Complexity of Finite Semigroups (1966) |

Krom, M. R., The Dicision Problem for a Class of First-Order Formulas in which All Disjunctions are Binary (1965) |

Krom, M. R., Some Interpolation Theorems for First-Order Formulas in Which All Disjunctions are Binary (1968) |

Kron, Aleksandar, An Analysis of Causality (1976) |

Kruse, Arthur H., Souslinoid and Analytic Sets in a General Setting (1969) |

Kubiński, Tadeusz, On Extension of the Theory of Syntactic Categories (1959) |

Kubiński, Tadeusz, Wyrażenia Cudzysłowowe w Językach Sformalizowanych (1964) |

Kubiński, Tadeusz, On Structurality of Rules of Inference (1965) |