Rabin, Dana Scott, Simon Kochen y Raymond Smullyan.