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

Sort
Results
1.
Model theory of fields by Series: Lecture notes in logic; 2
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: 511.8 M345.
2.
Bounded variable logics and counting a study in finite models by Series: Lecture notes in logic; 9
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: 515.62 Ot911.
3.
Core model iterability problem by Series: Lecture notes in logic; 8
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: 511.4 St813.
4.
Aspects of incompleteness by Series: Lecture Notes in Logic; 10
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 L753.
5.
Games, scales, and suslin cardinals the Cabal seminar, volume 1 by Series: Lecture notes in logic; 31
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge CUP 2008
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 519.3 K25.
6.
Logic colloquium 2006 proceedings by Series: Lecture notes in logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge CUP 2009
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 L832.
7.
Kurt Ghdel : essays for his centennial Solomon Feferman by Series: Lecture Notes in Logic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York CUP 2010
Online resources:
Availability: Items available for reference: ISI Library, Kolkata: Not for loan (1)Call number: 510.92.
8.
Course in model theory / Katrin Tent and Martin Ziegler. by Series: Lecture notes in logic ; 40
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2012
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.34 T313.
9.
Kurt Gödel : Essays for his Centennial / Edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson. by Series: Lecture Notes in Logic ; no. 33 | Lecture Notes in Logic ; no. 33.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Online resources:
Availability: No items available.
10.
Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural Logics / Robert Goldblatt. by Series: Lecture Notes in Logic ; no. 38 | Lecture Notes in Logic ; no. 38.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Quantifiers, Propositions & Identity
Online resources:
Availability: No items available.
11.
Simple Theories and Hyperimaginaries / Enrique Casanovas. by Series: Lecture Notes in Logic ; no. 39 | Lecture Notes in Logic ; no. 39.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Simple Theories & Hyperimaginaries
Online resources:
Availability: No items available.
12.
Wadge Degrees and Projective Ordinals : The Cabal Seminar Volume II / Edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel. by Series: Lecture Notes in Logic ; no. 37 | Lecture Notes in Logic ; no. 37.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Wadge Degrees & Projective Ordinals
Online resources:
Availability: No items available.
13.
Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies / Edited by Juliette Kennedy, Roman Kossak. by Series: Lecture Notes in Logic ; no. 36 | Lecture Notes in Logic ; no. 36.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Set Theory, Arithmetic, & Foundations of Mathematics
Online resources:
Availability: No items available.
14.
Logic and algebraic structures in quantum computing / [edited by] Jennifer Chubb, Ali Eskandarian and Valentina Harizanov. by Series: Lecture notes in logic ; 45.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : Cambridge University Press, 2016
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.1 C559.
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