A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Haskell B. CURRY
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesCombinatory logic. Volume I (1958) / Haskell B. CURRY
Titre : Combinatory logic. Volume I Type de document : texte imprimé Auteurs : Haskell B. CURRY, Auteur ; Robert FEYS, Auteur ; William CRAIG, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1958 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : XVI-417 p. Langues : Anglais (eng) Mots-clés : logique mathématique logique combinatoire Note de contenu : index, bibliogr. Combinatory logic. Volume I [texte imprimé] / Haskell B. CURRY, Auteur ; Robert FEYS, Auteur ; William CRAIG, Auteur . - North-Holland Publishing Company, 1958 . - XVI-417 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais (eng)
Mots-clés : logique mathématique logique combinatoire Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5470 CUR/02/1558-I Livre Recherche Salle Disponible Combinatory logic. Volume II (1972) / Haskell B. CURRY
Titre : Combinatory logic. Volume II Type de document : texte imprimé Auteurs : Haskell B. CURRY, Auteur ; Roger J. HINDLEY, Auteur ; Jonathan P. SELDIN, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1972 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : XIV-520 p. ISBN/ISSN/EAN : 978-0-7204-2208-5 Langues : Anglais (eng) Mots-clés : logique mathématique logique combinatoire Note de contenu : index, bibliogr. Combinatory logic. Volume II [texte imprimé] / Haskell B. CURRY, Auteur ; Roger J. HINDLEY, Auteur ; Jonathan P. SELDIN, Auteur . - North-Holland Publishing Company, 1972 . - XIV-520 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
ISBN : 978-0-7204-2208-5
Langues : Anglais (eng)
Mots-clés : logique mathématique logique combinatoire Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3463 CUR/02/1558-II Livre Recherche Salle Disponible Foundations of mathematical logic (1963) / Haskell B. CURRY
Titre : Foundations of mathematical logic Type de document : texte imprimé Auteurs : Haskell B. CURRY, Auteur Editeur : New York : McGraw-Hill Book Company Année de publication : 1963 Importance : XII-408 p. Langues : Anglais (eng) Catégories : 03-01
03-02Mots-clés : logique mathématique Note de contenu : index, bibliogr. Foundations of mathematical logic [texte imprimé] / Haskell B. CURRY, Auteur . - New York : McGraw-Hill Book Company, 1963 . - XII-408 p.
Langues : Anglais (eng)
Catégories : 03-01
03-02Mots-clés : logique mathématique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1062 CUR/02/2062 Livre Recherche Salle Disponible Outlines of a formalist philosophy of mathematics (1956) / Haskell B. CURRY
Titre : Outlines of a formalist philosophy of mathematics Type de document : texte imprimé Auteurs : Haskell B. CURRY, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1956 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VII-75 p. Langues : Anglais (eng) Mots-clés : philosophie formaliste des mathématiques Outlines of a formalist philosophy of mathematics [texte imprimé] / Haskell B. CURRY, Auteur . - North-Holland Publishing Company, 1956 . - VII-75 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais (eng)
Mots-clés : philosophie formaliste des mathématiques Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5466 CUR/02/1556 Livre Recherche Salle Disponible