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


Refine your search

Your search returned 507 results.

Sort
Results
1.
Dictionary of Logical terms and symbols by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: N Y Van Nostrand 1978
Availability: Items available for reference: ISI Library, Kolkata: Not For Loan (1)Call number: 511.303 G815.
2.
Mathematical logic in computer science by Series: Colloquia mathematica societatis janos bolyai, 26
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: 005.131 D673.
3.
Proper forcing by Series: Lecture notes in mathematics; v 940
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sh544.
4.
Coding the universe by Series: London Mathematical Society lecture note series,47
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge C U P 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.32 B442.
5.
Fuzzy reasoning and its applications by Series: Computers and people series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: London Academic Press 1981
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 M263.
6.
Studies in algebraic logic by Series: Mathematical Association of America;Studies in mathematics; v 9
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington Mathematical Association of America 1974
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 D132.
7.
Degrees of unsolvability : local and global theory by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1983
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 L616.
8.
Elements of logic and foundations of mathematics in problems by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht D Reidel 1982
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 M323.
9.
Introduction to the theory of fuzzy subsets Fundamental theoretical elements by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York Academic Press 1975
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.32 K21, ...
10.
Introduction to stability theory by Series: Oxford logic guides,8
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Oxford Clarendon Press 1983
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 P641.
11.
Computability by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Reston Virginia 1984
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.3 T727, ...
12.
Aspects of Vagueness by Series: Theory and decision library,39
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht D Reidel 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sk626.
13.
Consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory by Series: Annals of mathematics studies; no 3
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: N J Princeton University Press 1958
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.3 G581, ...
14.
Foundation of constructive mathematics mathematical studies by Series: Ergebnisse der mathematik und ihrer Grenzgebiete,3 folge,6
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B415.
15.
Computer science and multiple-valued logic : theory and applications by
Edition: 2nd rev
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1977
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.3 R579, ...
16.
Intensional mathematics by Series: Studies in logic and the foundations of mathematics,113
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sh529.
17.
Advances in Petri nets, 1984 by Series: Lecture notes in mathematics; 188
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 R893.
18.
Computation and Automata by Series: Encyclopedia of mathematics and its applications; v 25
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge C U P 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sa173.
19.
Algebriac logic by Series: Problem books in mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New-York Springer-Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G492.
20.
Petri nets : an introduction by Series: EATCS : monographs on theoretical computer science; v 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 R376.
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