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