Realizability (Enhanced Edition) Realizability (Enhanced Edition)

Realizability (Enhanced Edition‪)‬

An Introduction to its Categorical Side

    • $204.99
    • $204.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

More Books Like This

Logic and Algebra Logic and Algebra
2017
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
2020
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
2018
Set Theory Set Theory
2011
Relations: Concrete, Abstract, and Applied Relations: Concrete, Abstract, and Applied
2020
Number Fields and Function Fields – Two Parallel Worlds Number Fields and Function Fields – Two Parallel Worlds
2006

More Books by Jaap van Oosten