MathSciNet Relay Station
MathSciNet bibliographic data
MR1322274 (96b:03072) 03F20 (03D10 03D15 68Q25)
Buss, Samuel R. On Gödel's theorems on lengths of proofs. II. Lower bounds for recognizing $k$ symbol provability. Feasible mathematics, II (Ithaca, NY, 1992), 57–90, Progr. Comput. Sci. Appl. Logic, 13, Birkhäuser Boston, Boston, MA, 1995.
Links to the journal or article are not yet available
For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.

Username/Password Subscribers access MathSciNet here

AMS Home Page

American Mathematical Society American Mathematical Society
201 Charles Street
Providence, RI 02904-6248 USA
© Copyright 2015, American Mathematical Society
Privacy Statement