5 found
Order:
  1. Éléments de Logique Mathématique Théorie des Modèles.Georg Kreisel & J. L. Krivine - 1967 - Dunod.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  2. Leloup, G., Rings of Monoids Elementarily Equivalent to Polynomial Rings Miller, C., Expansions of the Real Field with Power Functions Ozawa, M., Forcing in Nonstandard Analysis Rathjen, M., Proof Theory of Reflection. [REVIEW]L. D. Beklemishev, O. V. Belegradek, K. J. Davey & J. L. Krivine - 1994 - Annals of Pure and Applied Logic 68:343.
  3.  11
    J. Roger Hindley and Jonathan P. Seldin. Introduction to Combinators and Λ-Calculus. London Mathematical Society Student Texts, No. 1. Cambridge University Press, Cambridge Etc. 1986, Vi + 360 Pp. [REVIEW]J. L. Krivine - 1988 - Journal of Symbolic Logic 53 (3):985-986.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. I. Council and Officers of the Division for the Period 1987-91.Investigaciones Cientificas, J. L. Krivine & Universit6 Paris Vii - 1992 - Synthese 91:153-165.
     
    Export citation  
     
    Bookmark  
  5.  17
    Review: J. Roger Hindley, Jonathan P. Seldin, Introduction to Combinators and $Lambda$-Calculus. [REVIEW]J. L. Krivine - 1988 - Journal of Symbolic Logic 53 (3):985-986.