Pablo andújar Guerrero

マーカー・スタインホルン定理が数学的論理でどれだけ重要かを調べてる。