Logic, induction and sets / Thomas Forster.
Call number: 511.322 F939L 2003 Material type:
BookSeries: London mathematics society student texts ; 56Publisher: Cambridge : cambridge University Press, 2003Edition: 1st edDescription: 234 p. : ill ; 23 cmISBN: 0521533619 :Subject(s): Axiomatic set theoryDDC classification: 511.322 F939L 2003
Contents:
Definitions and notations -- Recursive datatypes -- Partially ordered sets -- Propositional calulus -- Predicate calculus -- Computable functions -- Ordunals -- Set theory -- Answer to selected questions
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
General Books
|
สำนักวิทยบริการ (Center) ชั้น 7 หนังสือทั่วไปภาษาอังกฤษ 000-900 | 511.322 F939L 2003 (Browse shelf(Opens below)) | 1 | Available | 2000067126 |
Browsing สำนักวิทยบริการ (Center) shelves, Shelving location: ชั้น 7 หนังสือทั่วไปภาษาอังกฤษ 000-900 Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 O46P 2016 Plural logic / | 511.3 S382F 2010 Fundamentals of mathematics : | 511.3 V439 2019 How to prove it : a structured approach / | 511.322 F939L 2003 Logic, induction and sets / | 511.322 K65F 1997 Fuzzy set theory : | 511.322 M895U 1994 Notes on set theory / | 511.33 W884I 2002 Improving your grade for : |
Index.
Definitions and notations -- Recursive datatypes -- Partially ordered sets -- Propositional calulus -- Predicate calculus -- Computable functions -- Ordunals -- Set theory -- Answer to selected questions
There are no comments on this title.