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

Sort
Results
1.
World problems II : the oxford book by Series: Studies in logic and the foundations of mathematics, v.95
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1980
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512 Ad235.
2.
Combinatorial set theory Partition relations for cardinals by Series: Studies in logic and the foundations of mathematics; 106
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.322 Er66.
3.
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.
4.
Topoi : the categorical analysis of logic by Series: Studies in logic and the foundations of mathematics; 98
Edition: rev
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512.55 G618.
5.
Foundations of infinitesimal stochastic analysis by Series: studies in logic and the foundations of mathematics ; v.119
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North Holland 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 519.23 St925.
6.
Harvey Friedman's research on the foundations of mathematics by Series: Studies in logic and the foundations of mathematics; v 117
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: 510.1 H311.
7.
Theory of relations by Series: Studies in logic and the foundations of mathematics,v 118
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1986
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.32 F812.
8.
Foundations of the probabilistic mechanics of discrete medisa by Series: Foundations and philosophy of science and technology series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Oxford Pergamon Press 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 519.23 Ax969.
9.
Classification theory and the number of non-isomorphic models by Series: Studies in logic and the foundations of mathematics, 92
Edition: rev ed
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North Holland 1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.8 Sh544.
10.
Equivalents of the axiom of choice by Series: Studies in logic and the foundations of mathematics, 116
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 R896.
11.
Descriptive set theory by Series: Studies in logic and the foundations of mathematics, 100
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North Holland 1980
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.322 M896.
12.
Classical recursion theory : the theory of functions and sets of natural numbers by Series: Studies in logic and the foundations of mathematics; v 125
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.35 Od24.
13.
Computibility,complexity,logic by Series: Studies in logic and the foundations of mathematics,128
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B732.
14.
Language in action : categories,lambdas and dynamic logic by Series: Studies in logic and the foundations of mathematics,130
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1991
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B476.
15.
Constructivism in mathematics : an introduction by Series: Studies in logic and the foundations of mathematics,121
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North Holand 1988
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 T843.
16.
Constructivsm in mathematics : an introduction by Series: Studies in logic and the foundations of mathematics,123
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1988
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 T843.
17.
Estimation techniques for distributed parameter systems by Series: Systems and control: foundations and applications; 1
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Birkhauser 1989
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 629.8312 B218.
18.
Recursive functionals by Series: Studies in logic and the foundations of mathematics,v 131
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.35 Sa211.
19.
Equational logic as a programming language by Series: MIT Press series in the foundations of computing
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: 005.13 Od26.
20.
Methods of algebraic geometry in control theory Pt 1 : scalar linear systems and affine algebraic geometry by Series: Systems and control : foundations and applications; 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Birkhauser 1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 629.8312 F177.
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