【一階述語論理】いっ│かい・じゅつ│ご・ろん│りikkai·jutsugo·ronri8N.Logik Prädikatenlogik f f erster Stufe; Prädikatenlogik f f der ersten Stufe.
Kommentare