A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Documents disponibles dans la collection
Affiner la rechercheAn introduction to functional programming through Lambda calculus / Greg Michaelson
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21809 68C443 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Curvature in mathematics and physics Type de document : texte imprimé Auteurs : Shlomo Sternberg, Auteur Editeur : Dover Publications Année de publication : 2012 Collection : Dover Books on Mathematics Importance : 405 p. Format : 24 cm ISBN/ISSN/EAN : 978-0-486-47855-5 Langues : Anglais Catégories : 53-XX Differential geometry :53-01 Instructional exposition (textbooks, tutorial papers, etc.)
53-XX Differential geometry :53CXX Global differential geometry :53C21 Methods of Riemannian geometry, including PDE methods; curvature restrictions
53-XX Differential geometry :53CXX Global differential geometry :53C80 Applications to physicsMots-clés : differential geometry Riemannian geometry Index. décimale : 53C Monographie Curvature in mathematics and physics [texte imprimé] / Shlomo Sternberg, Auteur . - [S.l.] : Dover Publications, 2012 . - 405 p. ; 24 cm. - (Dover Books on Mathematics) .
ISBN : 978-0-486-47855-5
Langues : Anglais
Catégories : 53-XX Differential geometry :53-01 Instructional exposition (textbooks, tutorial papers, etc.)
53-XX Differential geometry :53CXX Global differential geometry :53C21 Methods of Riemannian geometry, including PDE methods; curvature restrictions
53-XX Differential geometry :53CXX Global differential geometry :53C80 Applications to physicsMots-clés : differential geometry Riemannian geometry Index. décimale : 53C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21413 53C93 imprimé / autre CRDM 53/GEOMETRIE DIFFERENTIELLE Disponible 30113 LAREMA/STE imprimé / autre Fédération FR 2962 - Angers Angers Ouvrages Disponible
Titre : Toposes and local set theories : an introduction Type de document : texte imprimé Auteurs : John Lane Bell, Auteur Editeur : Dover Publications Année de publication : 2008 Collection : Dover Books on Mathematics Importance : xii - 267 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-486-46286-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)
18-XX Category theory; homological algebra :18BXX Special categories:18B25 TopoiMots-clés : local set theories sheaves locale-valued sets numbers Geometric theories classifying toposes Index. décimale : 18C Monographie Toposes and local set theories : an introduction [texte imprimé] / John Lane Bell, Auteur . - [S.l.] : Dover Publications, 2008 . - xii - 267 p. : ill. ; 24 cm. - (Dover Books on Mathematics) .
ISBN : 978-0-486-46286-8
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi
18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)
18-XX Category theory; homological algebra :18BXX Special categories:18B25 TopoiMots-clés : local set theories sheaves locale-valued sets numbers Geometric theories classifying toposes Index. décimale : 18C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19926 18A27 imprimé / autre CRDM 18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE Disponible
