The Deduction Theorems and Two New Logical Systems¶
Moh, S. (1950). The Deduction Theorems and Two New Logical Systems.
Cited by¶
1 citation across 1 artifact.
Domain-specific¶
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:90c3b0f5aea2 · see in the full table