Title:
Proofs_and_Computations_(Perspectives_in_Logic)-C Download
Description: Proofs and Computations
Driven by the question “What is the computational content of a (formal) proof?”, this
book studies fundamental interactions between proof theory and computability. It
provides a unique self-contained text for advanced students and researchers in
mathematical logic and computer science.
To Search:
File list (Check if you may need any files):
Helmut_Schwichtenberg__Stanley_S._Wainer-Proofs_and_Computations_(Perspectives_in_Logic)-Cambridge_University_Press(2012).pdf