Talk:Rosser's theorem

Latest comment: 17 years ago by David Haslam in topic Rosser's theorem in symbolic logic

Rosser's theorem in symbolic logic

edit

It seems that there is another theorem called Rosser's theorem in symbolic logic. Disambiguation therefore required. DFH 22:45, 7 February 2007 (UTC)Reply