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

Sort
Results
1.
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.
2.
Model-theoretic logics by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: NY Springer-Verlag 1985
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.8 B296M.
3.
(Omega)-Bibliography of mathematical logic classical logic by Series: Perspectives in mathematical logic; v 1
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.5101 M958.
4.
(Omega)-Bibliography of mathematical logic non-classical logic by Series: Perspectives in mathematical logic; v 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.5101 M958.
5.
(Omega)-Bibliography of mathematical logic model theory by Series: Perspectives in mathematical logic; v 3
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.5101 M958.
6.
(Omega)-Bibliography of mathematical logic recursion theory by Series: Perspectives in mathematical logic; v 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.5101 M958.
7.
(Omega)-Bibliography of mathematical logic set theory by Series: Perspectives in mathematical logic; v 5
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.5101 M958.
8.
(Omega)-Bibliography of mathematical logic proof theory : constructive mathematics by Series: Perspectives in mathematical logic; v 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.5101 M958.
9.
Higher recursion theory by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.35 Sa121, ...
10.
Recursively enumerable sets and degrees a study of computable functions and computably generated sets by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.32 So676, ...
11.
Constructibility by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.32 D497.
12.
Metamathematics of first-order arithmetic by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510.1 H154.
13.
Higher infinite : large cardinals in set theory from their beginnings by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1994
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.322 K16.
14.
Finite model theory by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1995
Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 511.8 Eb15, ...
15.
Essential stability theory by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1996
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 515.35 B928.
16.
Classical decision problem by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1997
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B732.
17.
Proper and improper forcing by Series: Perspectives in mathematical logic
Edition: 2nd
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1998
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.322 Sh544.
18.
Subsystems of second order arithmetic by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1999
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Si613.
19.
Admissible sets and structures : an approach to definability theory by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.32 B296.
20.
Recursion-theoretic hierarchies by Series: Perspectives in mathematical logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1978
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.35 H663.
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