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. This is the first book to date on this subject area. It provides a clear introduction to Realizability with a comprehensive bibliography. It is easy to read and mathematically rigorous. The book is written by an expert in the field.
Publisher: Elsevier Science & Technology