Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Instantiation theory : on the foundations of automated deduction by Series: Lecture notes in artificial intelligence,v 518
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 W724.
Place hold Add to cart
2.
Deduction systems by Series: Graduate texts in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1997
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.240285 So678.
Place hold Add to cart
3.
Labelled deductive systems by Series: Oxford logic guides; 33
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Oxford Clarendon Press 1996
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.24 G112.
Place hold Add to cart
4.
No cover image available
Deductive theory of space and time by Series: Studies in logic and the foundations of mathematics,42
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1966
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 St933(42).
Place hold Add to cart
Pages
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in