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. Subscribe to this search

|
1. Axiomatising the logic of computer programming / Goldblatt, Robert.

by Goldblatt, Robert.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer Verlag , 1982Availability: Items available for loan: [Call number: 005.13 G618] (2).
2. Topoi : the categorical analysis of logic

by Goldblatt Robert.

Edition: revMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North-Holland 1984Availability: Items available for loan: [Call number: 512.55 G618] (1).
3. Orthogonality and spacetime geometry

by Goldblatt Robert.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1987Availability: Items available for loan: [Call number: 516.4 G618] (1).
4. Lectures on the hyperreals an introduction to nonstandard analysis

by Goldblatt Robert.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 1998Availability: Items available for loan: [Call number: 515 G618] (1).
5. Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural Logics / Robert Goldblatt.

by Goldblatt, Robert [author.].

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2011Other title: Quantifiers, Propositions & Identity.Online access: Click here to access online Availability: No items available
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


Visitor Counter