1 résultat(s) recherche sur le mot-clé 'recursive datatypes'

Logic, induction and sets / Thomas Forster

Public ISBD Titre : Logic, induction and sets Type de document : texte imprimé Auteurs : Thomas Forster Editeur : Cambridge University Press Année de publication : 2003 Collection : London Mathematical Society Student Texts num. 56 Importance : x, 234 p. ISBN/ISSN/EAN : 978-0-521-53361-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : ordinals  propositional logic  textbook  recursive datatypes  posets  predicate logic  computable functions  set theory  lattices Index. décimale : 03C Monographie Logic, induction and sets [texte imprimé] / Thomas Forster . - [S.l.] : Cambridge University Press, 2003 . - x, 234 p.. - (London Mathematical Society Student Texts; 56) . ISBN : 978-0-521-53361-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : ordinals  propositional logic  textbook  recursive datatypes  posets  predicate logic  computable functions  set theory  lattices Index. décimale : 03C Monographie

Exemplaires

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