/LC.GIF&client=easterncarolinaedu)
Realizability an introduction to its categorical side / Jaap van Oosten.
| Author/creator | Oosten, Jaap van |
| Format | Electronic |
| Edition | 1st ed. |
| Publication Info | Oxford : Elsevier, |
| Description | xvi, 310 p. ; 24 cm. |
| Supplemental Content | Full text available from eBook - Mathematics 2008 [EBCM08] |
| Supplemental Content | Full text available from Ebook Central - Academic Complete |
| Subjects |
| Series | Studies in logic and the foundations of mathematics ; 152 |
| Bibliography note | Includes bibliographical references (p. 291-304) and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2010485224 |
| ISBN | 9780444515841 (hbk.) |
| ISBN | 0444515844 (hbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |