Symbolic logic and mechanical theorem proving /: [by] Chin-liang Chang [and] Richard Char-tung Lee.

Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-tung Lee.

1973

QA9 .C49 (Mapit)

Available at General Collection

Formats

Title

Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-tung Lee.

Author

Published

New York : Academic Press, [1973]

Language

English

Description

xiii, 331 pages : illustrations ; 24 cm.

Call Number

QA9 .C49

Dewey Decimal Classification

511/.3

Bibliography, etc. Note

Bibliography: p. 309-324.

Added Author

Series

Computer science and applied mathematics.

Record Appears in