様相論理学 [Dạng Tương Luận Lý Học]

ようそうろんりがく

Danh từ chung

logic mô thức