Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Hedman S (2004) A first course in logic – an introduction to model theory, proof theory, computability, and complexity. Oxford University Press, Oxford, UK
Tree Proof Generator. (http://www.umsu.de/logik/trees/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media, LLC
About this entry
Cite this entry
Keet, C.M. (2013). Proof, Logic. In: Dubitzky, W., Wolkenhauer, O., Cho, KH., Yokota, H. (eds) Encyclopedia of Systems Biology. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-9863-7_735
Download citation
DOI: https://doi.org/10.1007/978-1-4419-9863-7_735
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-9862-0
Online ISBN: 978-1-4419-9863-7
eBook Packages: Biomedical and Life SciencesReference Module Biomedical and Life Sciences