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

Logik intuitionistische Prädikatenlogik