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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Van Oosten, Jaap |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Burlington :
Elsevier,
2008.
|
Colección: | Progress in Brain Research, v. 131.
|
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Institution-independent model theory /
por: Diaconescu, Răzvan
Publicado: (2008) -
Lectures on infinitary model theory /
por: Marker, D. (David), 1958-
Publicado: (2016) -
Model theory and the philosophy of mathematical practice : formalization without foundationalism /
por: Baldwin, John T.
Publicado: (2018) -
Simplicity theory /
por: Kim, Byunghan
Publicado: (2014) -
The Birth of model theory : Lowenheim's Theorem in the frame of the theory of relatives
por: Badesa, Calixto
Publicado: (2008)