記号論理学

ごう・ろんりがくkigō·ronrigaku6

N.
Math. symbolische Logik f f; mathematische Logik f f; Logistik f f.