Category:Systems of formal logic

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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

Subcategories

This category has the following 4 subcategories, out of 4 total.

P

S