Logic, Modern.

Logical Properties = Identity, Existence, Predication, Necessity, Truth by: (書目-語言資料,印刷品)

Proof and disproof in formal logic : = an introduction for programmers / by: (Language materials, printed)

Logic, Modern.

Evidence.