Lower Bounds for Natural Proof Systems

Dexter Kozen. Lower Bounds for Natural Proof Systems. In 18th Annual Symposium on Foundations of Computer Science, 31 October-2 November, Providence, Rhode Island, USA. pages 254-266, IEEE, 1977.

Abstract

Abstract is missing.