N.
Math. intuitionistische Logik f f.

直観主義論理

ちょかん・しゅぎ・ろchokkan·shugi·ronri7

N.
Math. intuitionistische Logik f f.
Kommentare