論理計算

り・けさんronri·keisan4

N.
Logik logischer Kalkül m m.