S9.com / Biographies /
Polish (Austro-Hungarian Ukrainian-born) logician
developer of reverse Polish notation