数理論理学

うり・ろんりがくsūri·ronrigaku6

N.
Math. mathematische Logik f f.