Quick Reference
The study of the analysis of propositions and of proofs, paying attention only to abstract symbols and form and paying no attention whatsoever to the meaning of the abstractions. See also symbolic logic.
From: formal logic in A Dictionary of Computing »
Subjects: Computing.
Related content in Oxford Index
Reference entries
Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.