述語論理学じゅつごろんりがく<じゅつ'ご・ろん'り>'がく6

LogikPrädikatenlogikPrädikatenkalkül