Cargando…
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 mo...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford :
Elsevier,
2008.
|
| Edición: | 1st ed. |
| Colección: | Studies in logic and the foundations of mathematics ;
152. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn272382234 | ||
| 003 | OCoLC | ||
| 005 | 20231117015129.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 081117s2008 enk ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d DEBSZ |d OPELS |d OCLCQ |d OPELS |d DEBBG |d E7B |d OCLCF |d OCLCO |d OCL |d OCLCQ |d D6H |d WYU |d LEAUB |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 648349309 | ||
| 020 | |a 9780444515841 | ||
| 020 | |a 0444515844 | ||
| 035 | |a (OCoLC)272382234 |z (OCoLC)648349309 | ||
| 050 | 4 | |a QA9.7 |b .O66 2008eb | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 100 | 1 | |a Oosten, Jaap van. | |
| 245 | 1 | 0 | |a Realizability : |b an introduction to its categorical side / |c Jaap van Oosten. |
| 250 | |a 1st ed. | ||
| 260 | |a Oxford : |b Elsevier, |c 2008. | ||
| 300 | |a 1 online resource (xvi, 310 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v 152 | |
| 520 | |a 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. | ||
| 505 | 0 | |a Introduction -- 1. Partial Combinatory Algebras -- 2. Realizability triposes and toposes -- 3. The effective topos -- 4. Variations on Realizability. | |
| 504 | |a Includes bibliographical references (pages 291-304) and index. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et math�ematique. |0 (CaQQLa)201-0001166 | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 (OCoLC)fst01002068 | |
| 776 | 0 | 8 | |i Print version: |a Oosten, Jaap van. |t Realizability. |b 1st ed. |d Oxford : Elsevier, 2008 |z 9780444515841 |z 0444515844 |w (OCoLC)180470932 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v 152. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444515841 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=152 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/152 |z Texto completo |