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

By: Chang, Chin-liangContributor(s): Lee, Richard Char-Tung, 1939-Material type: TextTextSeries: Computer science and applied mathematicsPublication details: New York ; London : Academic Press, 1973. Subject(s): Logic, Symbolic and mathematical | logic mathematical | Mathematical logicDDC classification: 511.3 LOC classification: BC135
Item type Home library Call number Status Date due Barcode Item holds
Two Week Loan Two Week Loan College Lane Learning Resources Centre
Main Shelves
511.3 CHA (Browse shelf(Opens below)) Available 100275613X
Total holds: 0

Bibliographyp.309-324. - Includes index.

Powered by Koha