Login / Signup

On Rosser's Provability Predicate.

V. Yu. Shavrukov
Published in: Math. Log. Q. (1991)
Keyphrases
  • first order logic
  • expert systems
  • datalog programs
  • data mining
  • lower bound