Realizability An Introduction to Its Categorical Side |
|
Author:
| van Oosten, Jaap |
Series title: | Studies in Logic and the Foundations of Mathematics Ser. |
ISBN: | 978-0-444-51584-1 |
Publication Date: | Mar 2008 |
Publisher: | Elsevier Science & Technology
|
Book Format: | Hardback |
List Price: | USD $190.00 |
Book Description:
|
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.