Forcing idealized
By: Zapletal, J.
Material type:
BookPublisher: Cambridge Cambridge University Press 2008Description: vi, 314p.ISBN: 978-0-521-87426-7.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| 511.32 ZAP (Browse shelf) | Available | 509145 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
| 511.32 CRO Categories for Types | 511.32 ENG Sperner theory | 511.32 KAM Theory of Sets á | 511.32 ZAP Forcing idealized | 511.321 SIM Derivation and Computation: Taking the Curry-Howard correspondence seriously | 511.321 SIM Derivation and Computation: Taking the Curry-Howard correspondence seriously | 511.322 BAR Set theory: On the structure of the real line |
There are no comments for this item.