Research Catalog

Symbolic logic and mechanical theorem proving

Title
Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-Tung Lee.
Author
Chang, Chin-Liang, 1937-
Publication
New York : Academic Press, [1973]

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA9 .C49Off-site

Holdings

Details

Additional Authors
Lee, Richard Char-Tung, 1939-
Description
xiii, 331 pages : illustrations; 24 cm.
Series Statement
Computer science and applied mathematics
Uniform Title
Computer science and applied mathematics.
Subjects
Bibliography (note)
  • Bibliography: p. 309-324.
LCCN
72088358
OCLC
ocm00658102
Owning Institutions
Columbia University Libraries