Abstract
Formal theories play crucial role in mathematics and were historically defined for classical predicate (first order logic) and consequently for other first and higher order logics, classical and non-classical.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Change history
09 May 2019
All the chapters of this book were inadvertently published without including the extra supplementary materials. The same has been included now.
Author information
Authors and Affiliations
11.1 Electronic Supplementary Material
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Wasilewska, A. (2018). Formal Theories and Gödel Theorems. In: Logics for Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-92591-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-92591-2_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-92590-5
Online ISBN: 978-3-319-92591-2
eBook Packages: Computer ScienceComputer Science (R0)