Category:Systems of formal logic

From Wikipedia, the free encyclopedia

These systems provide a syntax and semantics for the formal study of logic.