Elsevier Homepage

Books & journals
- Books
- By title
- By author
- By subject
- By publication date
- Book types
- Major reference works
- Multi volumes
- Desk copies
- Journals
- By title
- By subject
- By editor
- Journal related
- Dispatch dates
- Subscription price list
- Combined subscription & full sets of journals
Online tools
- Content resources & search tools
- SciVerse Hub
- SciVerse ScienceDirect
- eClips Consult
- MD Consult
- Mosby’s Nursing Consult
- All Clinics Online
- The Pink Sheet
- PharmaPendium
- Geofacets
- illumin8
- Reaxys
- Scirus
- Elsevier Biofuel
- Bibliographic databases
- Embase
- Biobase
- Mosby's Index
- SciVerse Scopus
- Engineering Village
- Interactive applications
- Brain Navigator
- SciVerse Applications
- Interact Elsevier
- Procedures Consult
- Performance & planning
- SciVal Suite
- Evolve Hub
- MEDai Pinpoint Suite
- ElsevierAdvantage.com
- CPMRC
- View products by industry >>
- View all Elsevier products >>
Authors, editors & reviewers
- Journal authors
- Journal authors’ home
- How to format and submit an article
- Check status of submitted article
- Check status of accepted article
- Book authors
- Book authors’ home
- How to format and submit a book
- Editors
- Editors’ home
- Production process
- Find reviewers
- Journal marketing
- Measuring journal performance
- Reviewers
- Reviewers’ home
- Reviewers’ guidelines
- Reviewers’ workshops
- Reviewer feedback programme
About Elsevier
- General
- At a glance
- Mission
- Management
- Financial
- Principles & policies
- Experts
- Corporate responsibility
- History
- Honors
- Careers
- Press
- Elsevier in the news
- Flash research news
- Image bank
- Newsroom
- Media contacts
- Press releases
- Events
- Conferences
- Exhibitions
Help
- Books & journals customer support
- FAQ
- Contact us
- Author, editor & reviewer support
- FAQ
- Contact us
- Contact information for
- Advertisers & sponsors
- Corporations
- Health practitioners
- Health providers/payers
- Media
- Societies
Store
- Products
- Article Choice
- Books
- Databases
- Journals
- Solutions
- Author Products
- Subjects
- Health Sciences
- Life Sciences
- Physical Sciences
- Social Sciences
- Industries
- Chemicals
- Electronic and Electrical Equipment
- Energy
- Materials and Mechanical
- Pharmaceutical and Biotechnology
- Special offers
- Grand opening sale
- 20% off the top 20 books!

Browse Books > Mathematics > Mathematics (General) > Studies in Logic and the Foundations of Mathematics > Realizability

Realizability

An Introduction to its Categorical Side

Authors

Author Information and Services

Submit Your Book Proposal

Realizability on ScienceDirect(Opens new window)

Hardbound, 328 Pages
Published: MAR-2008
ISBN 10: 0-444-51584-4
ISBN 13: 978-0-444-51584-1
Imprint: ELSEVIER

Actions

By
Jaap van Oosten, Utrecht University, The Netherlands

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.

Included in series
Studies in Logic and the Foundations of Mathematics

Audience:
University libraries, PhD students and advanced undergraduates as well as professional logicians

Last update: 14 Jan 2012