A self-referential logic test

http://www.cs.berkeley.edu/~lorch/personal/self-ref.html an actually attributed and correct version

http://www.chaos.org.uk/~eddy/craft/srat-Q.html this one is the same, but lets you bookkeep