Suggested Readings

Ayala-Rincón, Mauricio; de Moura, Flávio L. C.

doi:10.1007/978-3-319-51653-0_6

Mauricio Ayala-Rincón¹² &
Flávio L. C. de Moura¹³

Part of the book series: Undergraduate Topics in Computer Science ((UTICS))

2043 Accesses

Abstract

Proof theory is a subarea of mathematical logic that deals with proofs as mathematical objects.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 39.99; Price excludes VAT (USA)

Softcover Book: USD 49.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Author information

Authors and Affiliations

Departments of Mathematics and Computer Science, Universidade de Brasília, Brasília, Brazil
Mauricio Ayala-Rincón
Department of Computer Science, Universidade de Brasília, Brasília, Brazil
Flávio L. C. de Moura

Authors

Mauricio Ayala-Rincón
View author publications
You can also search for this author in PubMed Google Scholar
Flávio L. C. de Moura
View author publications
You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mauricio Ayala-Rincón .

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Ayala-Rincón, M., de Moura, F.L.C. (2017). Suggested Readings. In: Applied Logic for Computer Scientists . Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-51653-0_6

Download citation

DOI: https://doi.org/10.1007/978-3-319-51653-0_6
Published: 07 February 2017
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51651-6
Online ISBN: 978-3-319-51653-0
eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics