Realizability: An Introduction To Its Categorical Side (Volume 152) (Studies In Logic And The Foundations Of Mathematics, Volume 152)

$208.06 New In stock Publisher: Elsevier Science
SKU: SONG0444515844
ISBN : 9780444515841
Condition : Used
Price:
$208.06
Condition :

Shipping & Tax will be calculated at Checkout.
US Delivery Time: 3-5 Business Days.
Outside US Delivery Time: 8-12 Business Days.

Qty:
   - OR -   
Realizability: An Introduction to its Categorical Side (Volume 152) (Studies in Logic and the Foundations of Mathematics, Volume 152)

Realizability: An Introduction to its Categorical Side (Volume 152) (Studies in Logic and the Foundations of Mathematics, Volume 152)

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.Review"This book aims at beginning researchers in the field of realizability and so emphasizes technical tools rather than any overview of methods or results. The central object here which created the categorical approach to realizability is Martin Hyland

Write a review


Your Name:


Your Email:


Your Review:

Note: HTML is not translated!

Rating: Bad           Good

Enter the code in the box below: