formal logic

Türkçe: biçimsel mantık

Açıklama: Biçimsel mantık; sembolik mantık