Cover Image

Realizability : an introduction to its categorical side /

Show other versions (1)

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
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Published: Oxford : Elsevier, 2008.
Edition:1st ed.
Series:Studies in logic and the foundations of mathematics ; 152.
Subjects:
Logic, Symbolic and mathematical.
Electronic books.
Online Access:Connect to the full text of this electronic book

Similar Items