This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
9.8 Bibliographical Notes
G.S. Boolos, R.C. Jeffrey: Computability and Logic (Cambridge University Press, September 29, 1989)
A. Church: Introduction to Mathematical Logic (Princeton University Press, USA 1956)
H.B. Enderton: A Mathematical Introduction to Logic (Academic Press, New York, 1974)
J. Gallier: Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper and Row, NY, USA, 1986)
A. Hamilton: Logic for Mathematicians (Cambridge University Press, 1978, revised ed.: 1988)
W. Hodges: Logic (Penguin Books, 1977)
S.C. Kleene: Mathematical Logic (Dover Publications, 2002)
E. Mendelsohn: Introduction to Mathematical Logic, 4th edn (Lewis Publishers, International Thomson Publishing, June 1, 1997)
A. Nerode, R. Shore: Logic for Applications (Springer, 1997)
J. Rushby: Formal Methods and the Certification of Critical Systems. Technical Report SRI-CSL-93-7, Computer Science Laboratory, SRI International, Menlo Park, CA., USA (1993)
J.R. Schoenfeld: Mathematical Logic (A.K. Peters, 2001)
P.R. Suppes, S. Hill: A First Course in Mathematical Logic (Dover, July 1, 2002)
W. van Orman Quine: Mathematical Logic (Harvard University Press, 1979)
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Mathematical Logic. In: Software Engineering 1. Texts in Theoretical Computer Science an EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-31288-9_9
Download citation
DOI: https://doi.org/10.1007/3-540-31288-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21149-5
Online ISBN: 978-3-540-31288-8
eBook Packages: Computer ScienceComputer Science (R0)