Save up to 30% on Elsevier print and eBooks with free shipping. No promo code needed.
Save up to 30% on print and eBooks.
Realizability
An Introduction to its Categorical Side
1st Edition, Volume 152 - March 6, 2008
Author: Jaap van Oosten
Language: English
Hardback ISBN:9780444515841
9 7 8 - 0 - 4 4 4 - 5 1 5 8 4 - 1
eBook ISBN:9780080560069
9 7 8 - 0 - 0 8 - 0 5 6 0 0 6 - 9
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…Read more
Purchase options
LIMITED OFFER
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
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.
- The first book to date on this subject area- Provides an clear introduction to Realizability with a comprehensive bibliography- Easy to read and mathematically rigorous- Written by an expert in the field
University libraries, PhD students and advanced undergraduates as well as professional logicians
Introduction1. Partial Combinatory Algebras2. Realizability triposes and toposes3. The effective topos4. Variations on Realizability