Realizability : an introduction to its categorical side / Jaap van Oosten.
2008
QA9.7 .O66 2008
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Realizability : an introduction to its categorical side / Jaap van Oosten.
Author
Edition
1st ed.
ISBN
0444515844
9780444515841
9780444515841
Publication Details
Oxford : Elsevier, 2008.
Language
English
Description
1 online resource (xvi, 310 pages).
Call Number
QA9.7 .O66 2008
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Series
Studies in logic and the foundations of mathematics ; 152.
Linked Resources
Record Appears in