Customer Reviews


1 Review
5 star:
 (1)
4 star:    (0)
3 star:    (0)
2 star:    (0)
1 star:    (0)
 
 
 
 
 
Average Customer Review
Share your thoughts with other customers
Create your own review
 
 
Only search this product's reviews
Most Helpful First | Newest First

1 of 2 people found the following review helpful:
5.0 out of 5 stars author's description, December 9, 2008
This review is from: Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) (Hardcover)
A monograph about the effective topos
This book is intended to provide advanced undergraduate students and Ph.D. students with a concise introduction to the effective topos. Contains introductions to partial combinatory algebras, tripos theory, construction of the effective topos. Synthesizes the existing literature, making a lot of material accessible to all readers. Many applications to recursive analysis, intuitionistic set theory, synthetic domain theory. Variations are also developed, such as Lifschitz realizability, Modified realizability, Kleene-Vesley realizability.
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No


Most Helpful First | Newest First

This product