A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur William CRAIG |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
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 Semigroups underlying first-order logic / William CRAIG (2006)
Titre : Semigroups underlying first-order logic Type de document : monographie Auteurs : William CRAIG, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 2006 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 866 Importance : XXV-263 p. ISBN/ISSN/EAN : 978-0-8218-4149-5 Langues : Anglais Mots-clés : logique algébrique semi-groupe Note de contenu : index, bibliogr. Semigroups underlying first-order logic [monographie] / William CRAIG, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 2006 . - XXV-263 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 866) .
ISBN : 978-0-8218-4149-5
Langues : Anglais
Mots-clés : logique algébrique semi-groupe Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21180 854/866 Livre Recherche Salle Disponible