Jump to content

Talk:Rosser's theorem

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]