Title of article

Equational propositional logic

Author/Authors

David Gries، نويسنده , , Fred B. Schneider، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 1995

Pages

8

From page

145

To page

152

Keywords

Equational reasoning , Completeness , Soundness , Theorem proving , Logic

Journal title

Information Processing Letters

Serial Year

1995

Journal title

Information Processing Letters

Record number

128196