直観主義述語論理ちょっかんしゅぎじゅつごろんり<ちょっ'かん・しゅ'ぎ>・じゅつ'ご・ろん'り10

Logikintuitionistische Prädikatenlogik