"Redundancies in the Hilbert-Bernays derivability conditions for Godel'" by Robert G. Jeroslow

Skip to main content

Department of Mathematical Sciences

Authors

Robert G. Jeroslow, Carnegie Mellon University

Title

Redundancies in the Hilbert-Bernays derivability conditions for Godel's second incompleteness theorem

Date of Original Version

1972

Type

Technical Report

COinS