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
Description
Summary: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.- The first book to date on this subject area- Provides an clear introduction to Realizability with a comprehensive bibliography- Easy to read and mathematically rigorous- Written by an expert in the field
Item Description:Libro electrónico EBSCOHost
Physical Description:1 recurso en línea (309 páginas) : ilustraciones color
ISBN:9780080560069