A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
6 résultat(s) recherche sur le mot-clé 'logique algébrique'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Algebraic logic / S. G. GINDIKIN (1985)
Titre : Algebraic logic Type de document : texte imprimé Auteurs : S. G. GINDIKIN, Auteur ; Robert H. SILVERMAN, Traducteur Editeur : New York : Springer-Verlag Année de publication : 1985 Collection : Problem books in mathematics Importance : XVIII-356 p. Présentation : ill. ISBN/ISSN/EAN : 978-0-387-96179-8 Langues : Anglais Langues originales : Russe Catégories : 00A07
03-01
06-01Mots-clés : logique algébrique Note de contenu : index, bibliogr. Algebraic logic [texte imprimé] / S. G. GINDIKIN, Auteur ; Robert H. SILVERMAN, Traducteur . - New York : Springer-Verlag, 1985 . - XVIII-356 p. : ill.. - (Problem books in mathematics) .
ISBN : 978-0-387-96179-8
Langues : Anglais Langues originales : Russe
Catégories : 00A07
03-01
06-01Mots-clés : logique algébrique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3363 GIN/02/5756 Livre Recherche Salle Disponible Algebraic logic / Paul R. HALMOS (Cop. 1962)
Titre : Algebraic logic Type de document : texte imprimé Auteurs : Paul R. HALMOS, Auteur Editeur : New York : Chelsea Publishing Company Année de publication : Cop. 1962 Importance : 271 p. Langues : Anglais Catégories : 03Gxx Mots-clés : logique algébrique Note de contenu : index, bibliogr. Algebraic logic [texte imprimé] / Paul R. HALMOS, Auteur . - New York : Chelsea Publishing Company, Cop. 1962 . - 271 p.
Langues : Anglais
Catégories : 03Gxx Mots-clés : logique algébrique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 644 HAL/02/1717 Livre Recherche Salle Disponible Algebraic methods of mathematical logic / Ladislav RIEGER (1967)
Titre : Algebraic methods of mathematical logic Type de document : texte imprimé Auteurs : Ladislav RIEGER, Auteur ; Michal BASCH, Traducteur Editeur : Amsterdam : Academic Press Année de publication : 1967 Importance : 195 p. Langues : Anglais Langues originales : Tchèque Catégories : 03-xx Mots-clés : logique mathématique logique algebrique Note de contenu : index, bibliogr. Algebraic methods of mathematical logic [texte imprimé] / Ladislav RIEGER, Auteur ; Michal BASCH, Traducteur . - Amsterdam : Academic Press, 1967 . - 195 p.
Langues : Anglais Langues originales : Tchèque
Catégories : 03-xx Mots-clés : logique mathématique logique algebrique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4413 RIE/02/3330 Livre Recherche Salle Disponible Algebraizable logics / W. J. BLOK (1989)
Titre : Algebraizable logics Type de document : texte imprimé Auteurs : W. J. BLOK, Auteur ; Don PIGOZZI, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1989 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 396 Importance : V-78 p. ISBN/ISSN/EAN : 978-0-8218-2459-7 Langues : Anglais Catégories : 03B45
03B55
03B60
03C05
03G99Mots-clés : logique algébrique Note de contenu : index, bibliogr. Algebraizable logics [texte imprimé] / W. J. BLOK, Auteur ; Don PIGOZZI, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1989 . - V-78 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 396) .
ISBN : 978-0-8218-2459-7
Langues : Anglais
Catégories : 03B45
03B55
03B60
03C05
03G99Mots-clés : logique algébrique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 802 854/396 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 The metamathematics of algebraic systems / Anatolii Ivanovi? MAL'CEV (1971)
Permalink