Handbook of computability theory Ed. by Edward R. Griffor
Material type:
TextSeries: Studies in Logic and the foundations of Mathematics ; V.140Publication details: Amsterdam Elsevier 1999Description: xii, 727p. Bibl. IndexISBN: - 0444898824
- 511.3 G856.HC
| Item type | Current library | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
ISID | 511.3 G856.HC (Browse shelf(Opens below)) | Available | Ord num:6648; Ord dt:2005-02-10 | DP26989 |
Browsing ISID shelves Close shelf browser (Hides shelf browser)
|
|
No cover image available |
|
|
No cover image available | No cover image available | ||
| 511.3 G383.IM Introduction to mathematical structures and proofs / | 511.3 G539.IB Introduction to boolean algebras | 511.3 G581.CA Consistency of axiom of choice and of the generalized continuum hypothesis with the axioms of set theory / | 511.3 G856.HC Handbook of computability theory | 511.3 H121.IP An introduction to probability and inductive logic / | 511.3 H154.ST Set theory / | 511.3 H186.CS Cantorian set theory and limitation of size / |
There are no comments on this title.
Log in to your account to post a comment.
