|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
1 of 2 people found the following review helpful:
5.0 out of 5 stars
author's description,
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. |
|
Most Helpful First | Newest First
|
|
Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) by Jaap van Oosten (Hardcover - April 24, 2008)
$165.00
In Stock | |
 
| ||
