1 résultat(s) recherche sur le mot-clé 'structural recursion'

Practical foundations of mathematics / Taylor, Paul

Public ISBD Titre : Practical foundations of mathematics Type de document : texte imprimé Auteurs : Taylor, Paul Editeur : Cambridge : Cambridge University Press Année de publication : 2000 Collection : Cambridge Studies in Advanced Mathematics. num. 59 Importance : xi - 572 p. ISBN/ISSN/EAN : 978-0-521-63107-5 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A35 Methodology of mathematics, didactics 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : adjunction between syntax and semantics  syntactic category of a theory  structural recursion  lattices  posets  category theory  foundations of mathematics Index. décimale : 18A Practical foundations of mathematics [texte imprimé] / Taylor, Paul . - Cambridge : Cambridge University Press, 2000 . - xi - 572 p.. - (Cambridge Studies in Advanced Mathematics.; 59) . ISBN : 978-0-521-63107-5 Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A35 Methodology of mathematics, didactics 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : adjunction between syntax and semantics  syntactic category of a theory  structural recursion  lattices  posets  category theory  foundations of mathematics Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13409	18A40	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible