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
Call Number:Libro Electrónico
Main Author: Van Oosten, Jaap
Format: Electronic eBook
Language:Inglés
Published: Burlington : Elsevier, 2008.
Series:Progress in Brain Research, v. 131.
Subjects:
Logic, Symbolic and mathematical.
Model theory.
Logique symbolique et mathématique.
Théorie des modèles.
Logic, Symbolic and mathematical
Model theory
Online Access:Texto completo
Table of Contents:
  • Front Cover; Realizability: An Introduction to its Categorical Side; Copyright Page; Preface; Introduction; Table of Contents; Chapter 1 Partial Combinatory Algebras; Chapter 2 Realizability triposes and toposes; Chapter 3 The Effective Topos; Chapter 4 Variations; Bibliography; Index.

Similar Items