直観論理ちょっかんろんり<ちょっ'かん>・ろん'り5

Math.intuitionistische Logik