Your search returned 3 results.

Results
	1.	No cover image available Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee by Chang, Chin-Liang Lee, Richard Char-Tung Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1973 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N732;1. Place hold
	2.	No cover image available Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee by Chang, Chin-Liang Lee, Richard Char-Tung Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1973 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N732;2. Place hold
	3.	Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang and Richard Char-Tung Lee by Chang, Chin-Liang Lee, Richard Char-Tung Material type: Book Publication details: New York Acadamic 1973 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.31 N732. Place hold

Refine your search