Logic, induction and sets /
Forster, Thomas.
Logic, induction and sets / Thomas Forster. - 1st ed. - Cambridge : cambridge University Press, 2003 - 234 p. : ill ; 23 cm. - London mathematics society student texts ; 56 .
Index.
Definitions and notations -- Recursive datatypes -- Partially ordered sets -- Propositional calulus -- Predicate calculus -- Computable functions -- Ordunals -- Set theory -- Answer to selected questions
0521533619 : 1,258 Baht.
Axiomatic set theory
511.322 / F939L 2003
Logic, induction and sets / Thomas Forster. - 1st ed. - Cambridge : cambridge University Press, 2003 - 234 p. : ill ; 23 cm. - London mathematics society student texts ; 56 .
Index.
Definitions and notations -- Recursive datatypes -- Partially ordered sets -- Propositional calulus -- Predicate calculus -- Computable functions -- Ordunals -- Set theory -- Answer to selected questions
0521533619 : 1,258 Baht.
Axiomatic set theory
511.322 / F939L 2003