If you pre-order an item and the price drops before the release date, you’ll pay the lowest price. This happens automatically when you pre-order and pay by credit card or pickup.
If paying by PayPal or internet banking, and the price drops after you have paid, you can ask for the difference to be refunded. Find out more
If Mighty Ape's price changes before release, you'll pay the lowest price.
This product will be released on
It should arrive:
- 6 September using standard courier delivery
Both authors have extensive experience in teaching the material covered in this book, and have been active researchers in mathematical logic and related fields. Ieke Moerdijk co-authored the influential Springer text "Sheaves in Geometry and Logic, a First Course in Topos Theory", together with Saunders Mac Lane. Jaap van Oosten is an expert on realizability models for systems of constructive logic, and is the author of a comprehensive monograph on the subject: "Realizability: An Introduction to its Categorical Side" .
Nobody has previewed this product yet. You could be the first!Write a Preview
- If you think we've made a mistake or omitted details, please send us your feedback. Send Feedback
- If you have a question or problem with this product, visit our Help section. Get Help
- Seen a lower price for this product elsewhere? We'll do our best to beat it. Request a better price
Buy this and earn 317 Banana Points