Description
The subdiscipline of logic that studies the languages and systems that humans use to communicate truths. It studies the properties of these logical systems.
The subdiscipline of logic that studies the languages and systems that humans use to communicate truths. It studies the properties of these logical systems.