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

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. Logique symbolique et mathématique. Logic, Symbolic and mathematical Electronic books.
Online Access:	Connect to the full text of this electronic book