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: |
Burlington :
Elsevier,
2008.
|
| Colección: | Progress in Brain Research, v. 131.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn476131562 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr mn|---||||| | ||
| 008 | 091207s2008 vtu o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d IDEBK |d OCLCQ |d NRU |d OCLCQ |d UKDOC |d OCLCQ |d DEBSZ |d OCLCQ |d MERUC |d OCLCQ |d SFB |d OCLCF |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9780080560069 |q (electronic bk.) | ||
| 020 | |a 0080560067 |q (electronic bk.) | ||
| 029 | 1 | |a DEBSZ |b 43046696X | |
| 029 | 1 | |a AU@ |b 000072105340 | |
| 035 | |a (OCoLC)476131562 | ||
| 050 | 4 | |a QA9.25 .O57 2008 | |
| 082 | 0 | 4 | |a 511.3 |a 612.843 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Van Oosten, Jaap. | |
| 245 | 1 | 0 | |a Realizability : |b an Introduction to its Categorical Side. |
| 260 | |a Burlington : |b Elsevier, |c 2008. | ||
| 300 | |a 1 online resource (327 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 Progress in Brain Research, v. 131 | |
| 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. | ||
| 505 | 0 | |a Front Cover; Realizability: An Introduction to its Categorical Side; Copyright Page; Preface; Introduction; Table of Contents; Chapter 1 Partial Combinatory Algebras; Chapter 2 Realizability triposes and toposes; Chapter 3 The Effective Topos; Chapter 4 Variations; Bibliography; Index. | |
| 588 | 0 | |a Print version record. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Model theory. | |
| 650 | 4 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Théorie des modèles. | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Model theory |2 fast | |
| 758 | |i has work: |a Realizability (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFGBffkvpcbrxQwgBgYPpP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 1 | |z 9780444515841 | |
| 830 | 0 | |a Progress in Brain Research, v. 131. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=331886 |z Texto completo |
| 938 | |a 123Library |b 123L |n 37040 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL331886 | ||
| 994 | |a 92 |b IZTAP | ||