User:SlamDiego/RSLFrom Wikipedia, the free encyclopedia This user has published a peer-reviewed article in the Review of Symbolic Logic.