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, En Algebraisk Logikkalkyl |
| Kanger, Stig, On the Characterization of Modalities |
| Kanger, Stig, Provability in Logic (1957) |
| Kanger, Stig, Mätning: En Vetenskapsteoretisk essay (1963) |
| Kanovei, V., IST is More than an Algorithm to Prove ZFC Theorems (1994) |