Axiomatization: Difference between revisions
Appearance
imported>Brigandeur ←Changed redirect target from Axiomatic system#Axiomatization to Axiomatic system#Axiomatization and proof |
(No difference)
|
imported>Brigandeur ←Changed redirect target from Axiomatic system#Axiomatization to Axiomatic system#Axiomatization and proof |
(No difference)
|