Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Rights and permissions
Copyright information
© 2002 Kluwer Academic Publishers
About this chapter
Cite this chapter
(2002). Negative Translation: Glivenko’s Theorem. In: A Short Introduction to Intuitionistic Logic. The University Series in Mathematics. Springer, Boston, MA. https://doi.org/10.1007/0-306-46975-8_4
Download citation
DOI: https://doi.org/10.1007/0-306-46975-8_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-306-46394-5
Online ISBN: 978-0-306-46975-6
eBook Packages: Springer Book Archive