Realizability : an introduction to its categorical side

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 mol...

Full description

Bibliographic Details
Main Author: Oosten, Jaap van 1940-
Format: Book
Language:English
Published: Oxford: Elsevier, 2008.
Series:Studies in logic and the foundations of mathematics; v. 152
Subjects:
Online Access:Texto completo