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 Leon HENKIN
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesCylindric algebras. Part I (Cop. 1971) / Leon HENKIN
Titre : Cylindric algebras. Part I : wth an introductory chapter: general theory of algebras Type de document : texte imprimé Auteurs : Leon HENKIN, Auteur ; J. Donald MONK, Auteur ; Alfred TARSKI, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : Cop. 1971 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X num. 64 Importance : VI-508 p. ISBN/ISSN/EAN : 978-0-7204-2043-2 Langues : Anglais (eng) Catégories : 03G15 Mots-clés : algèbre cylindrique Note de contenu : index, bibliogr. Cylindric algebras. Part I : wth an introductory chapter: general theory of algebras [texte imprimé] / Leon HENKIN, Auteur ; J. Donald MONK, Auteur ; Alfred TARSKI, Auteur . - North-Holland Publishing Company, Cop. 1971 . - VI-508 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X; 64) .
ISBN : 978-0-7204-2043-2
Langues : Anglais (eng)
Catégories : 03G15 Mots-clés : algèbre cylindrique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3893 HEN/02/4190-I Livre Recherche Salle Disponible Cylindric set algebras (1981) / Leon HENKIN
Titre : Cylindric set algebras Type de document : monographie Auteurs : Leon HENKIN, Auteur ; J. Donald MONK, Auteur ; Alfred TARSKI, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1981 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 883 Importance : V-323 p. ISBN/ISSN/EAN : 978-3-540-10881-8 Langues : Anglais (eng) Catégories : 03C55
03G15Mots-clés : algèbre algèbre cylindrique Note de contenu : index, références Cylindric set algebras [monographie] / Leon HENKIN, Auteur ; J. Donald MONK, Auteur ; Alfred TARSKI, Auteur . - Springer-Verlag, 1981 . - V-323 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 883) .
ISBN : 978-3-540-10881-8
Langues : Anglais (eng)
Catégories : 03C55
03G15Mots-clés : algèbre algèbre cylindrique Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5286 LN 883 Livre Recherche Salle Disponible Logical systems containing only a finite number of symbols (1967) / Leon HENKIN
Titre : Logical systems containing only a finite number of symbols Type de document : texte imprimé Auteurs : Leon HENKIN, Auteur Editeur : Montréal [Canada] : Les Presses de l'Université de Montréal Année de publication : 1967 Collection : Séminaire de mathématiques supérieures, ISSN 0544-9758 num. 21 Importance : 48 p. Langues : Anglais (eng) Catégories : 03-xx Mots-clés : logique mathématique système logique Logical systems containing only a finite number of symbols [texte imprimé] / Leon HENKIN, Auteur . - Les Presses de l'Université de Montréal, 1967 . - 48 p.. - (Séminaire de mathématiques supérieures, ISSN 0544-9758; 21) .
Langues : Anglais (eng)
Catégories : 03-xx Mots-clés : logique mathématique système logique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4699 HEN/02/3191-21 Livre Recherche Salle Disponible Proceedings of the Tarski symposium (Cop. 1974) / Leon HENKIN
Titre : Proceedings of the Tarski symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday) Type de document : texte imprimé Auteurs : Leon HENKIN, Editeur scientifique Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : Cop. 1974 Collection : Proceedings of symposia in pure mathematics, ISSN 0082-0717 num. 25 Importance : XX-498 p. Présentation : ill. ISBN/ISSN/EAN : 978-0-8218-1425-3 Note générale : Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society held at the University of California, Berkeley June 23-30, 1971 Langues : Anglais (eng) Mots-clés : algèbre universelle algèbre booléenne primitive algèbre cylindrique axiome de Pasch théorie des modèles quanteur variété non abélienne Tarski théorie des ensembles théorie quantique des champs logique Note de contenu : bibliogr. Proceedings of the Tarski symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday) [texte imprimé] / Leon HENKIN, Editeur scientifique . - American Mathematical Society, Cop. 1974 . - XX-498 p. : ill.. - (Proceedings of symposia in pure mathematics, ISSN 0082-0717; 25) .
ISBN : 978-0-8218-1425-3
Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society held at the University of California, Berkeley June 23-30, 1971
Langues : Anglais (eng)
Mots-clés : algèbre universelle algèbre booléenne primitive algèbre cylindrique axiome de Pasch théorie des modèles quanteur variété non abélienne Tarski théorie des ensembles théorie quantique des champs logique Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13508 1791/25 Livre Recherche Salle Disponible La structure algébrique des théories mathématiques (1956) / Leon HENKIN
Titre : La structure algébrique des théories mathématiques Type de document : texte imprimé Auteurs : Leon HENKIN, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1956 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. XI Importance : 52 p. Langues : Français (fre) Mots-clés : structure algébrique théorie mathématique algèbre de Boole algèbre cylindrique La structure algébrique des théories mathématiques [texte imprimé] / Leon HENKIN, Auteur . - Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1956 . - 52 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; XI) .
Langues : Français (fre)
Mots-clés : structure algébrique théorie mathématique algèbre de Boole algèbre cylindrique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5499 HEN/02/3613 Livre Recherche Salle Disponible The axiomatic method (1959) / Leon HENKIN
PermalinkThe theory of models (1965) / J. W. ADDISON
Permalink