Realizability: An Introduction to its Categorical Side (ISSN Book 152)
Author(s)
Oosten, Jaap van
Oosten, Jaap van
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
Keywords
Information Theory, General, General, Abstract, Mathematics & Statistics -> Mathematics -> Mathematics General, Professional, Career & Trade -> Computer Science -> Information Theory, Mathematics & Statistics -> Developmental Math -> Beginning & Intermediate Algebra, 774, 030, Mathematics & Statistics -> Post-Calculus -> Abstract Algebra
Information Theory, General, General, Abstract, Mathematics & Statistics -> Mathematics -> Mathematics General, Professional, Career & Trade -> Computer Science -> Information Theory, Mathematics & Statistics -> Developmental Math -> Beginning & Intermediate Algebra, 774, 030, Mathematics & Statistics -> Post-Calculus -> Abstract Algebra
| Name in long format: | Realizability: An Introduction to its Categorical Side (ISSN Book 152) |
|---|---|
| ISBN-10: | 0080560067 |
| ISBN-13: | 9780080560069 |
| Book pages: | 327 |
| Book language: | en |
| Edition: | 1 |
| Binding: | Kindle Edition |
| Publisher: | Elsevier Science |
| Dimensions: | ePub |
