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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Burlington :
Elsevier,
2008.
|
| Series: | Progress in Brain Research, v. 131.
|
| Subjects: | |
| Online Access: |
Full text (Emmanuel users only) |