Results of search for 'su:"Logic;"' › JRD Tata Memorial Library catalog

Results
	1.	No cover image available Modern introduction to indian logic by S.S. Barlingay by Barlingay, S.S Material type: Book Publication details: New Delhi National Publishing House 1976 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 160 N761. Place hold
	2.	No cover image available Axiomatic set theory by Patrick Suppes, by Suppes, Patrick Series: University series in undergraduate mathematics Material type: Book Publication details: New Delhi AEW Press Pvt. Ltd. 1975 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N7510. Place hold
	3.	Mathematical logic an introduction to model theory by A. H. Lightstone, ed. by H. B. Enderton by Lightstone, A. H Enderton, H. B., ed Series: Mathematical concepts and methods in science and engineering 9 Material type: Book Publication details: New York Plenum 1978 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N781;1. Place hold
	4.	Symbolic logic by Irving M. Copi by Copi, Irving M Edition: 5th Material type: Book Publication details: New York Macmillan 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N79. Place hold
	5.	Formal background to mathematics 1a by R. E. Edwards. by Edwards, R.E Series: Universitext Material type: Book Publication details: New York Springer-Verlag 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510 N792.1A;1. Place hold
	6.	No cover image available Philosophy of logic by W.V. Quine by Quine, W.V Series: Foundation of philosophy Material type: Book Publication details: New Delhi Prentice-Hall of India 1978 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 160 N781. Place hold
	7.	No cover image available Set theory and logic by Robert R. Stoll. by Stoll, Robert R Material type: Book Publication details: New Delhi Eurasian Pub. House 1963 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N678.
	8.	No cover image available Logic and algorithms with application to the computer and information sciences by Robert R. Korfhage. by Korfhage, Robert R Material type: Book Publication details: New York John Wiley 1966 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N66;2.
	9.	No cover image available Programmable interactive automated deduction system for propositional logic. by Jamaes David Shelly. by Shelly, James David Material type: Book Publication details: Ann Arbor UMI 1987 Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.6424 N8753.
	10.	Logic with Prolog. by Peter Gibbins by Gibbins, Peter Series: Oxford applied mathematics and computing science series ; Material type: Book Publication details: Oxford Clarendon 1988 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.133 N8841.
	11.	Engineering approach to digital design by William I. Fletcher by Fletcher, William I Material type: Book Publication details: London Prentice Hall 1980 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3815 N80;6.
	12.	Logic-based knowledge representation by Peter Jackson, Han Reichgelt and Frank van Harmelen by Reichgelt, Han Harmelen, Frank van Series: MIT press series in logic programming ; Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 006.33 JAC.
	13.	No cover image available Mind tools the five levels of mathematical reality. by Rudy Rucker. by Rucker, Rudy Material type: Book Publication details: London Penguin Books 1988 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N882. Place hold
	14.	Logic-based knowledge representation ed. by Peter Jackson (...) by Jackson, Peter., ed Reichgelt, Han., ed Van Harmelan, Frank., ed Series: MIT Press series in logic programming Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for reference: Electronic Systems Engineering: Not for loan (1)Call number: 001.642 N896.
	15.	Parallel logic programming techniques by Stephen Taylor by Taylor, Stephen Material type: Book Publication details: Englewood Cliffs Prentice Hall 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8938;1.
	16.	Parallel logic programming techniques by Stephen Taylor. by Taylor, Stephen Material type: Book Publication details: Englewood Cliffs Prentice-Hall 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.35 N8938.
	17.	Logic grammars by Harvey Abramson, Veronica Dahl by Abramson, Harvey Dahl, Veronica Series: Symbolic computation. Artificial intelligence Material type: Book Publication details: New York Springer Verlag 1989 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 001.535 N895.
	18.	Parallel logic programming techniques by Stephen Taylor. by Taylor, Stephen Material type: Book Publication details: Englewood Cliffs Prentice Hall 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64404 N898.
	19.	Constraint satisfaction in logic programming. by Pascal Van Hentenryck. by Van Hentenryck, Pascal Material type: Book Publication details: Cambridge MIT 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.642 N898.
	20.	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.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.