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
| Kurepa, Gjuro, Sur la puissance des ensembles partiellement ordonnés (1959) |
| Kuroda, Sigekatu, An Investigation on the Logical Structure of Mathematics (I): A Logical System (1958) |
| Kuroda, Sigekatu, An Investigation on the Logical Structure of Mathematics (II): Transformation of Proof (1959) |
| Kurtz, Stuart Alan, Randomness and Genericity in the Degrees of Unsolvability (1981) |
| Kurtz, Stuart Alan, Randomness and Genericity in the Degrees of Unsolvability (Outline of Dissertation) (1981) |
| Kustaanheimo, Paul, Über die Vollständigkeit der Axiomensysteme mit einem endlichen Individuenbereich (1949) |
| Kutti, A. K., On a Graphical Representation of the Operating Regiime of Circuits (1963) |
| Kuzičev, A. S., A System of $\lambda$-Conversion with Logical Operators and an Equality Operator (1977) |
| Kuzičev, A. S., A Theorem on the Consistency of Formal Arithmetic (1978) |
| Kwasowiec, Włodzimierz, How Does an Address Machine Operate on a Memory State? (1972) |