Login / Signup

Derivability Conditions on Rosser's Provability Predicates.

Toshiyasu Arai
Published in: Notre Dame J. Formal Log. (1990)
Keyphrases
  • sufficient conditions
  • environmental conditions
  • real time
  • databases
  • function symbols