Title: 形式逻輯与军事应用
Subjects: Logic