Open WIKI
Home
Sources
About
Contacts
⯈
☰
Deductive system
deductive system
is a
formal system
.