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) |