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
© 1975 Springer-Verlag
About this chapter
Cite this chapter
Toledo, S. (1975). Introduction. In: Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Lecture Notes in Mathematics, vol 447. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0062937
Download citation
DOI: https://doi.org/10.1007/BFb0062937
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07149-5
Online ISBN: 978-3-540-37442-8
eBook Packages: Springer Book Archive