Realizability, Vol 152. Studies in Logic and the Foundations of Mathematics

  • ID: 1766141
  • Book
  • 328 Pages
  • Elsevier Science and Technology
1 of 4

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

Please Note: This is an On Demand product, delivery may take up to 11 working days after payment has been received.

Note: Product cover images may vary from those shown
2 of 4
Introduction
1. Partial Combinatory Algebras
2. Realizability triposes and toposes
3. The effective topos
4. Variations on Realizability
Note: Product cover images may vary from those shown
3 of 4

Loading
LOADING...

4 of 4
van Oosten, Jaap
Note: Product cover images may vary from those shown
5 of 4
Note: Product cover images may vary from those shown
Adroll
adroll