Logic học hình thức hiện đại (Logic toán/ký hiệu)
Lịch sử logic học/Tác giả và Tác phẩm
Logic học hình thức cổ điển (Logic truyền thống)
