Realizability: Volume 152
An Introduction to its Categorical Side
€168.96
(To see other currencies, click on price)
(To see other currencies, click on price)
Hardback
Overview
Products Details
Customer Reviews
MORE ABOUT THIS BOOK
Main 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.
Contents:
Introduction
1. Partial Combinatory Algebras
2. Realizability triposes and toposes
3. The effective topos
4. Variations on Realizability
PRODUCT DETAILS
ISBN-13: 9780444515841
Publisher: Elsevier (Elsevier Science Ltd)
Publication date: March, 2008
Pages: 328
Weight: 680g
Availability: Available
Subcategories: Neurology
Publisher: Elsevier (Elsevier Science Ltd)
Publication date: March, 2008
Pages: 328
Weight: 680g
Availability: Available
Subcategories: Neurology
CUSTOMER REVIEWS
Average Rating