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