A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
4 résultat(s) recherche sur le mot-clé 'logique combinatoire' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Deux esquisses de logique / J. Barkley ROSSER (1955)
Titre : Deux esquisses de logique Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : 1955 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. VII Importance : 65 p. Langues : Français Langues originales : Anglais Mots-clés : logique combinatoire logique formelle logique mathématique Note de contenu : index, bibliogr. Deux esquisses de logique [texte imprimé] / J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1955 . - 65 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; VII) .
Langues : Français Langues originales : Anglais
Mots-clés : logique combinatoire logique formelle logique mathématique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5543 ROS/02/3610 Livre Recherche Salle Disponible Combinatory logic. Volume I / Haskell B. CURRY (1958)
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 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 . - Amsterdam : North-Holland Publishing Company, 1958 . - XVI-417 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : logique mathématique logique combinatoire Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5470 CUR/02/1558-I Livre Recherche Salle Disponible Combinatory logic. Volume II / Haskell B. CURRY (1972)
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 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 . - Amsterdam : 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
Mots-clés : logique mathématique logique combinatoire Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3463 CUR/02/1558-II Livre Recherche Salle Disponible Lambda-calcul / Jean-Louis KRIVINE (DL 1990)
Titre : Lambda-calcul : types et modèles Type de document : texte imprimé Auteurs : Jean-Louis KRIVINE, Auteur Editeur : Paris : Masson Année de publication : DL 1990 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : VIII-176 p. ISBN/ISSN/EAN : 978-2-225-82091-5 Langues : Français Catégories : 03B40 Mots-clés : lambda-calcul arithmétique fonctionnelle logique combinatoire théorème de Bohm correspondance de Curry-Howard Note de contenu : index, notation, bibliogr. Lambda-calcul : types et modèles [texte imprimé] / Jean-Louis KRIVINE, Auteur . - Paris : Masson, DL 1990 . - VIII-176 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-82091-5
Langues : Français
Catégories : 03B40 Mots-clés : lambda-calcul arithmétique fonctionnelle logique combinatoire théorème de Bohm correspondance de Curry-Howard Note de contenu : index, notation, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1044 KRI/02/6330 Livre Recherche Salle Disponible