| logic hình thức | logic toán học | logic học | logic học hình thức |
| logic suy diễn | logic chứng minh | toán học | hệ thống logic |
| logic đại số | logic mệnh đề | logic hình học | logic số học |
| logic hình thức toán học | logic quy nạp | logic diễn dịch | logic hình thức và toán học |
| logic toán học hình thức | logic toán học ứng dụng | logic toán học lý thuyết | logic toán học trừu tượng |