Login / Signup

Redundancies in the Hilbert-Bernays Derivability Conditions for Gödel's Second Incompleteness Theorem.

Robert G. Jeroslow
Published in: J. Symb. Log. (1973)
Keyphrases
  • sufficient conditions
  • search engine
  • environmental conditions
  • valued logic
  • real time
  • multi agent
  • information content