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...
Cote: | Libro Electrónico |
---|---|
Auteur principal: | |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Burlington :
Elsevier,
2008.
|
Collection: | Progress in Brain Research, v. 131.
|
Sujets: | |
Accès en ligne: | Texto completo |