Image from Amazon.com
Realizability : an introduction to its categorical side / Jaap van Oosten
Material type:
TextSeries: Studies in logic and the foundations of mathematicsPublication details: Oxford : Elsevier, c2008Description: xvi, 310 p. ; 24 cmISBN: - 9780444515841
- 0444515844
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB GAMBANG | QA9.25 .O67 2008 (Browse shelf(Opens below)) | 1 | Available | 0000044643 |
Includes bibliographical references and index