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

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
Complexity of proofs and their transformations in axiometic theories by Series: American Mathematical Society : Translations of mathematical monographs; v.128
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Providence AMS 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510TM Am512.
Place hold Add to cart
2.
No cover image available
Calculi of symbolic logic, pt 1 : proceedings by Series: Proceedings of Steklov Institute of Mathematics, v 98
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Providence A M S 1971
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510.6047 St823(98).
Place hold Add to cart
3.
No cover image available
Problems in the constructive trend in mathematics : proceedings by Series: Proceedings of the Steklov Institute of mathematics,113
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Providence A M S 1972
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Or66.
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