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 7 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Computability theory,semantics,and logic programming by Series: Oxford logic guides, 13
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: N Y O U P 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 F547.
Place hold Add to cart
2.
Set theory and the continuum problem by Series: Oxford logic guides; 34
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.322 SM666.
Place hold Add to cart
3.
First-order modal logic by Series: Synthese library; v 277
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht Kluwer Academic 1998
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 160 F547.
Place hold Add to cart
4.
No cover image available
Intuitionstic logic model theory and forcing by Series: Studies in logic and the foundations of mathematics,57
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: London North-Holland 1969
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 St933(57).
Place hold Add to cart
5.
Fundamentals of generalized recursion theory by Series: Studies in Logic and the foundations of mathematics,v 105
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1981
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.35 F547.
Place hold Add to cart
6.
Computability theory, semantics, and logic programming by Series: Oxford logic guides; 13
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York OUP 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 F547.
Place hold Add to cart
7.
First-order logic and automated theorem proving / Melvin Fitting. by Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 F547.
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