Realizability
An Introduction to its Categorical Side
Seiten
2008
Elsevier Science Ltd (Verlag)
978-0-444-51584-1 (ISBN)
Elsevier Science Ltd (Verlag)
978-0-444-51584-1 (ISBN)
Presents an introduction to the basic concepts of realizability, a field which has passed several successive phases of abstraction. This title includes a bibliography.
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.
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.
Introduction1. Partial Combinatory Algebras2. Realizability triposes and toposes3. The effective topos4. Variations on Realizability
| Erscheint lt. Verlag | 6.3.2008 |
|---|---|
| Reihe/Serie | Studies in Logic and the Foundations of Mathematics |
| Verlagsort | Oxford |
| Sprache | englisch |
| Maße | 152 x 229 mm |
| Gewicht | 680 g |
| Themenwelt | Medizin / Pharmazie ► Medizinische Fachgebiete ► Neurologie |
| ISBN-10 | 0-444-51584-4 / 0444515844 |
| ISBN-13 | 978-0-444-51584-1 / 9780444515841 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
interdisziplinäre Diagnose- und Behandlungsstrategien
Buch | Hardcover (2024)
Urban & Fischer in Elsevier (Verlag)
97,00 €
Material für visuell Lernende
Buch | Softcover (2023)
Kohlhammer (Verlag)
44,00 €
