Signed Edition Sweepstakes
 
 

Recently Viewed clear list


Interviews | September 2, 2014

Jill Owens: IMG David Mitchell: The Powells.com Interview



David MitchellDavid Mitchell's newest mind-bending, time-skipping novel may be his most accomplished work yet. Written in six sections, one per decade, The Bone... Continue »
  1. $21.00 Sale Hardcover add to wish list

    The Bone Clocks

    David Mitchell 9781400065677

spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

Realizability: An Introduction to Its Categorical Side

by

Realizability: An Introduction to Its Categorical Side Cover

 

Synopses & Reviews

Publisher Comments:

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.

Table of Contents

Introduction — 1. Partial Combinatory Algebras — 2. Realizability triposes and toposes — 3. The effective topos — 4. Variations on Realizability.

Product Details

ISBN:
9780080560069
Publisher:
Elsevier Science
Subject:
Mathematics : Algebra - General
Author:
Oosten, Jaap Van
Author:
Van Oosten, Jaap
Subject:
Algebra - General
Subject:
Information Theory
Subject:
Mathematics - Algebra
Subject:
Mathematics-Logic and Philosophy
Subject:
General Mathematics
Subject:
Mathematics : General
Subject:
main_subject
Subject:
all_subjects
Subject:
Computers : Information Theory
Publication Date:
April 2008
Binding:
eBooks
Language:
English

Related Subjects

Engineering » Communications » Information Theory
Health and Self-Help » Health and Medicine » Medical Specialties
Science and Mathematics » Mathematics » Algebra » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » General

Realizability: An Introduction to Its Categorical Side
0 stars - 0 reviews
$ In Stock
Product details pages Elsevier - English 9780080560069 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.