Jump to ContentJump to Main Navigation
Show Summary Details
More options …

Ways of Proof Theory

Ed. by Schindler, Ralf

Series:Ontos Mathematical Logic 2

eBook (PDF)
Publication Date:
May 2013
Copyright year:
2010
ISBN
978-3-11-032490-7
See all formats and pricing

Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations

Beckmann, Arnold / Buss, Samuel R.

Citation Information

Arnold Beckmann, Samuel R. Buss (2010). Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations. Ways of Proof Theory (pp. 65–134). https://doi.org/10.1515/9783110324907.65

Book DOI: https://doi.org/10.1515/9783110324907

Online ISBN: 9783110324907

Get Permission

Comments (0)

Please log in or register to comment.
Log in