Déduction formelle et calculs logiques / V. A. Smirnov

Public ISBD Titre : Déduction formelle et calculs logiques Type de document : texte imprimé Auteurs : V. A. Smirnov Editeur : Moscou : Sciences Naouka Année de publication : 1972 Importance : 271 p. Note générale : Don de Monsieur Andronikov Langues : Russe Mots-clés : logique Index. décimale : 03C Monographie Déduction formelle et calculs logiques [texte imprimé] / V. A. Smirnov . - Moscou : Sciences Naouka, 1972 . - 271 p. Don de Monsieur Andronikov Langues : Russe Mots-clés : logique Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3139	03C54	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Simplicial and operad methods in algebraic topology / V. A. Smirnov

Public ISBD Titre : Simplicial and operad methods in algebraic topology Type de document : texte imprimé Auteurs : V. A. Smirnov Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2001 Collection : Translations of Mathematical Monographs num. 198 Importance : x - 235 p. ISBN/ISSN/EAN : 978-0-8218-2170-1 Langues : Anglais Catégories : 55-XX Algebraic topology:55-02 Research exposition (monographs, survey articles) 55-XX Algebraic topology:55PXX Homotopy theory :55P15 Classification of homotopy type 55-XX Algebraic topology:55PXX Homotopy theory :55P48 Loop space machines, operads Mots-clés : cosimplicial object  homology operation lie comodule  cobar construction  stable homotopy group  spectral sequence  simplicial object  operad  homology operation lie module  cohomology group  bar construction  a_infty-structure Index. décimale : 55C Monographie Simplicial and operad methods in algebraic topology [texte imprimé] / V. A. Smirnov . - Providence, R.I. : American Mathematical Society, 2001 . - x - 235 p.. - (Translations of Mathematical Monographs; 198) . ISBN : 978-0-8218-2170-1 Langues : Anglais Catégories : 55-XX Algebraic topology:55-02 Research exposition (monographs, survey articles) 55-XX Algebraic topology:55PXX Homotopy theory :55P15 Classification of homotopy type 55-XX Algebraic topology:55PXX Homotopy theory :55P48 Loop space machines, operads Mots-clés : cosimplicial object  homology operation lie comodule  cobar construction  stable homotopy group  spectral sequence  simplicial object  operad  homology operation lie module  cohomology group  bar construction  a_infty-structure Index. décimale : 55C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14073	55C106	imprimé / autre	CRDM	55/TOPOLOGIE ALGEBRIQUE	Disponible

---

page 1/1