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

Kalmár, László, A New Principle of Construction of Logical Machines (1958) |

Kalmár, László, Über einen Rechenautomated, der eine mathematische Sprache versteht (1960) |

Kaluzhnin, L. A., Algorithmization of Mathematical Problems (1961) |

Kanamori, Akihiro, The Higher Infinite (1994) |

Kanazawa, Makoto, Completeness and Decidability of the Mixed Style of Inference with Composition (1993) |

Kanger, Stig, Provability in Logic (1957) |

Kanger, Stig, Mätning: En Vetenskapsteoretisk essay (1963) |

Kanger, Stig, En Algebraisk Logikkalkyl |

Kanger, Stig, On the Characterization of Modalities |

Kanovei, V., IST is More than an Algorithm to Prove ZFC Theorems (1994) |