Your search returned 893 results.

Sort
Results
1.
Modern introduction to indian logic by S.S. Barlingay by
  • Barlingay, S.S
Material type: Text Book
Publication details: New Delhi National Publishing House 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 160 N761.

2.
Axiomatic set theory by Patrick Suppes, by
  • Suppes, Patrick
Series: University series in undergraduate mathematics
Material type: Text 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.

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: Text Book
Publication details: New York Plenum 1978
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N781;1.

4.
Symbolic logic by Irving M. Copi by
  • Copi, Irving M
Edition: 5th
Material type: Text Book
Publication details: New York Macmillan 1979
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N79.

5.
Formal background to mathematics 1a by R. E. Edwards. by
  • Edwards, R.E
Series: Universitext
Material type: Text Book
Publication details: New York Springer-Verlag 1979
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510 N792.1A;1.

6.
Philosophy of logic by W.V. Quine by
  • Quine, W.V
Series: Foundation of philosophy
Material type: Text Book
Publication details: New Delhi Prentice-Hall of India 1978
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 160 N781.

7.
Set theory and logic by Robert R. Stoll. by
  • Stoll, Robert R
Material type: Text 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.
Logic and algorithms with application to the computer and information sciences by Robert R. Korfhage. by
  • Korfhage, Robert R
Material type: Text 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.
Programmable interactive automated deduction system for propositional logic. by Jamaes David Shelly. by
  • Shelly, James David
Material type: Text 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: Text 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: Text 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: Text 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.
Mind tools the five levels of mathematical reality. by Rudy Rucker. by
  • Rucker, Rudy
Material type: Text Book
Publication details: London Penguin Books 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511 N882.

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: Text 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: Text 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: Text 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: Text 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: Text 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: Text 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: Text 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.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha