Mariami Gamsakhurdia

ゲーデル論理の微妙な違いと、それがプレネックス標準形にどう使われるかを探ろう。