Realizability : an introduction to its categorical side /
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been mol...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Oxford :
Elsevier,
2008.
|
| Edition: | 1st ed. |
| Series: | Studies in logic and the foundations of mathematics ;
152. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | xvi, 310 pages ; 24 cm. |
| Bibliography: | Includes bibliographical references (pages 291-304) and index. |
| ISBN: | 9780444515841 0444515844 |