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

By: Contributor(s): Material type: TextTextSeries: Computer science and applied mathematicsPublication details: New York ; London : Academic Press, 1973.Subject(s): DDC classification:
  • 511.3 18
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.