Realizability
An Introduction to its Categorical Side
-
- $184.99
-
- $184.99
Publisher Description
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
GENRE
Science & Nature
RELEASED
2008
April 10
LANGUAGE
EN
English
LENGTH
328
Pages
PUBLISHER
Elsevier Science
SELLER
Elsevier Ltd.
SIZE
9.2
MB
Mathematical Logic and Theoretical Computer Science
2020
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
Relations: Concrete, Abstract, and Applied
2020
Synthetic Differential Topology
2018
Number Fields and Function Fields – Two Parallel Worlds
2006
Deformations of Algebraic Schemes
2007