25 Women to Read Before You Die
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Q&A | August 26, 2015

    Christopher Moore: IMG Powell’s Q&A: Christopher Moore



    Describe your latest book. Secondhand Souls is the sequel to my bestselling novel A Dirty Job, which was about a single dad in San Francisco who... Continue »
    1. $18.89 Sale Hardcover add to wish list

      Secondhand Souls

      Christopher Moore 9780061779787

    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.