超直観主義論理ちょうちょっかんしゅぎろんりちょう・ちょっ'かん・しゅ'ぎ・ろん'り9

Logiksuperintuitionistische Logik