The Barnes & Noble Holiday Gift Guide! Shop NowThe Barnes & Noble Holiday Gift Guide! Shop Now
Product Image
Add Item to wish listAdd Item to wish list

Realizability: An Introduction to its Categorical Side

By Jaap van Oosten
eBook
$180.00
By Jaap van Oosten
|Write a Review
Rewards iconEarn 5X Rewards 1/1 - 12/31
Formats
See All Formats & Editions
In stock
Buy this eBook as a gift for someone else

Personalize your gift

Required *

  • If the selected date is today, the recipient will receive the eBook within 1 hour.
  • If the selected date is in the future, the eBook will be delivered to the recipient around 3:00 AM EST on the specified date.
0 / 250
Pick up in store
Your local store may have stock of this item.

Available on compatible , the free NOOK App, and in My Digital Library

NOOK App

Open NOOK app

Download NOOK app

[@portabletext/react] Unknown block type "image", specify a component for it in the `components.types` prop

NOOK Devices

  • NOOK GlowLight 4 Plus
  • NOOK GlowLight 4e
  • NOOK GlowLight 4
  • NOOK GlowLight Plus 7.8
  • NOOK GlowLight 3
  • NOOK GlowLight Plus 6
  • NOOK 9" Lenovo Tablet (Arctic Grey and Frost Blue)
  • NOOK 10" HD Lenovo Tablet
  • NOOK Tablet 7" & 10.1
  • NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
  • NOOK by Samsung [Tab 4 10.1, S2 & E]
  • NOOK for iOS
  • NOOK for Android

BN.com website

Go to your Digital Library in My Account

Limit 1 per customer
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 bibli…

More in This Series

Foundations of Set Theory
Foundations of Set Theory
#67 in Series
eBook
$72.95
Model Theory
Model Theory
C.C. Chang
#73 in Series
eBook
$72.95
Logical Frameworks for Truth and Abstraction: An Axiomatic Study
Logical Frameworks for Truth and Abstraction: An Axiomatic Study
A. Cantini
#135 in Series
eBook
$180.00
Handbook of Proof Theory
Handbook of Proof Theory
#137 in Series
eBook
$235.00
Handbook of Computability Theory
Handbook of Computability Theory
#140 in Series
eBook
$200.00
Theory of Relations
Theory of Relations
R. Fraisse
#145 in Series
eBook
$215.00
Rudiments of Calculus
Rudiments of Calculus
#146 in Series
eBook
$127.00
Relation Algebras by Games
Relation Algebras by Games
Robin Hirsch
#147 in Series
eBook
$200.00
Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
#148 in Series
eBook
$225.00
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
#151 in Series
eBook
$155.00
Quantification in Nonclassical Logic
Quantification in Nonclassical Logic
#153 in Series
eBook
$235.00
Computable Structures and the Hyperarithmetical Hierarchy
Computable Structures and the Hyperarithmetical Hierarchy
C.J. Ash
eBook
$175.00

Categories

ComputersNonfictionComputers - General & MiscellaneousGeneral & Miscellaneous Computing