Releases med Smullyan, Raymond (Indiana University, USA)