一階述語論理一階述語論理1階述語論理いっかいじゅつごろんりいっ'かい･<じゅつ'ご･ろん'り>8

LogikPrädikatenlogik erster StufePrädikatenlogik der ersten Stufe