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

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Axiomatising the logic of computer programming / Goldblatt, Robert. by Series: Lecture notes in computer science ; v. 130
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 (2)Call number: 005.13 G618, ...
Place hold Add to cart
2.
No cover image available
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.
Place hold Add to cart
3.
No cover image available
Orthogonality and spacetime geometry by Series: Universitext
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: N Y Springer Verlag 1987
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 516.4 G618.
Place hold Add to cart
4.
Lectures on the hyperreals an introduction to nonstandard analysis by Series: Graduate texts in mathematics; 188
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York Springer-Verlag 1998
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 515 G618.
Place hold Add to cart
5.
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.
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