An Introduction to its Categorical Side
- Jaap van Oosten, Utrecht University, The Netherlands
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.
University libraries, PhD students and advanced undergraduates as well as professional logicians