N.
Math. intuitionistische Logik f f.

直観論理

ちょかん・ろchokkan·ronri5

N.
Math. intuitionistische Logik f f.
Kommentare