述語論理じゅつごろんり<じゅつ'ご>･ろん'り4

LogikPrädikatenlogikPrädikatenkalkül