The `hardest´ natural decidable theory Academic Article uri icon

publication date

  • January 1, 1997

start page

  • 294

end page

  • 305