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
| Kreisel, G., Lecture 80: Functionals of Higher Type |
| Kreisel, G., Lecture 9 $\times$ 9: Modeltheoretic Formulation |
| Kreisel, G., Notes Concerning the Elements of Proof Theory |
| Kreisel, G., Spring Quarter Lecture 56 |
| Kreisel, Georg, Interpretation of Analysis by Means of Constructive Functionals of Finite Types (1959) |
| Kreisel, Georges, La prédicativité (1960) |
| Kreisel, Georg ; Tait, William W., Finite Definability of Number-Theoretic Funktions and Parametric Completeness of Equational Calculi (1961) |
| Kreisel, G. ; Lacombe, D. ; Shoenfield, J. R., Partial Recursive Functionals and Effective Operations (1959) |
| Krentel, W. D. ; McKinsey, J. C. C. ; Quine, W. V., Information Patterns for Games in Extensive Form (1950) |
| Krivine, J. L., Ultra-Produits (1963) |