 |
|
| REALIZABILITY, 152
| |
| | |
|
|
An Introduction to its Categorical Side
To order this title, and for more information, click here
By
Jaap van Oosten, Utrecht University, The Netherlands
Included in series
Studies in Logic and the Foundations of Mathematics,
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.
Audience
University libraries, PhD students and advanced undergraduates as well as professional logicians
Contents
Introduction
1. Partial Combinatory Algebras
2. Realizability triposes and toposes
3. The effective topos
4. Variations on Realizability
| Bibliographic details |
Hardbound, 328 pages, publication date: MAR-2008
ISBN-13: 978-0-444-51584-1
ISBN-10: 0-444-51584-4
Imprint: ELSEVIER
|
| Price and Ordering |
Price:
GBP 93.99
EUR 110.95
USD 155
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
050/500
Last update: 25 Nov 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company