Realizability : An Introduction to its Categorical Side Volume 152 Hardback
by Jaap (Utrecht University, The Netherlands) van Oosten
Part of the Studies in Logic and the Foundations of Mathematics series
Hardback
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.
Information
-
Out of stock
- Format:Hardback
- Pages:328 pages
- Publisher:Elsevier Science & Technology
- Publication Date:06/03/2008
- Category:
- ISBN:9780444515841
Information
-
Out of stock
- Format:Hardback
- Pages:328 pages
- Publisher:Elsevier Science & Technology
- Publication Date:06/03/2008
- Category:
- ISBN:9780444515841