Open main menu
Home
Random
Log in
Settings
About GM-RKB
Disclaimers
GM-RKB
Search
Axiomatic Deductive Logic System
Language
Watch
Edit
Revision as of 23:39, 26 December 2020 by
Gmelli
(
talk
|
contribs
)
(Text replacement - ". ----" to ". ----")
(
diff
)
← Older revision
| Latest revision (diff) | Newer revision → (diff)
An
Axiomatic Deductive Logic System
is a
Deductive Logic System
that is an
axiomatic system
.
See:
Deductive Logic System
.