Result: Symbolic logic and mechanical theorem proving

*Title*:

Symbolic logic and mechanical theorem proving / Chin-Liang Chang ; Richard Char-Tung Lee

*Author/editor-in-chief*:

*Publication*:

New York, N.Y. [u.a.] : Acad. Press, 1973

*Physical description scale*:

XII, 331 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Computer science and applied mathematics

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

0121703509

*Result*: Symbolic logic and mechanical theorem proving