Your search returned 4 results.

Results
	1.	Logic for computer science : foundations of automatic theorem proving by Jean H. Gallier. by Gallier, Jean H Material type: Book Publication details: New York John Wiley 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N877.
	2.	No cover image available Logic for computer science foundation of automatic theorem proving by Jean H. Gallier by Gallier, Jean H Series: Harper and Row Computer Science and Technology Series Material type: Book Publication details: New York Harper & Row, Pub. 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861;2. Place hold
	3.	No cover image available Logic for computer science foundations of automatic theorem proving by Jean H. Gallier by Gallier, Jean H Series: Harper And Row Computer Science and Technology Series Material type: Book Publication details: Cambridge Harper & Row, Pub. 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861. Place hold
	4.	Logic for computer science - foundations of automatic theorem proving by Jean H. Gallier by Gallier, Jean H Series: Harper & Row computer science and technology series Material type: Book Publication details: Cambridge Harper & Row 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N861;1 R(T).

Refine your search