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