数理論理学やりたいのになんで哲学科なんだよ！

>>直観主義論理について勉強したい人
定評のあるのがNorth Hollandとかから出てるし、
LNMにも直観主義論理に関する巻がある。

まあまず手に入りやすいところで、
最初は「論理の哲学」の直観主義の解説を読んだり、
「情報科学における論理」の少々無味乾燥な解説でも読んだりするのが先決。
あとは章末巻末の文献を辿って行けば良い。

Logic and Structureは数理論理の入門書にしては
妙に直観主義について詳しいと思う。
著者の趣味（というか専門）もあるんだろう。