Piotr Ostropolski-Nalewaja

新しい方法がデータベース理論を使って準密な論理の決定可能性を明らかにした。