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

|
1. Dictionary of Logical terms and symbols

by Greenstein C H.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Van Nostrand 1978Availability: Items available for reference: [Call number: 511.303 G815] (1).
2. Computer logic, testing and verification

by Roth J P.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Maryland Computer Science Press 1980Availability: Items available for loan: [Call number: 621.38195835 R845] (1).
3. Mathematical logic in computer science

by Domolki B | Gergely T [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North Holland 1981Availability: Items available for loan: [Call number: 005.131 D673] (1).
4. Verifying concurrent progresses using temporal logic / Brent T. Hailpern.

by Hailpern Brent T.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer Verlag , 1982Availability: Items available for loan: [Call number: 005.131 H151] (2).
5. Introduction to the PL/CV2 programming logic

by Constable R L | Johnson S D [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.131 C756] (1).
6. Proper forcing

by Shelah Saharon.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: [Call number: 511.3 Sh544] (1).
7. Coding the universe

by Beller A | Jesen R [Auth.] | Welch P [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge C U P 1982Availability: Items available for loan: [Call number: 511.32 B442] (1).
8. Fuzzy reasoning and its applications

by Mamdani E H | Gaines B R [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London Academic Press 1981Availability: Items available for loan: [Call number: 511.3 M263] (1).
9. Studies in algebraic logic

by Daigneault Albert [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Washington Mathematical Association of America 1974Availability: Items available for loan: [Call number: 511.3 D132] (1).
10. Degrees of unsolvability : local and global theory

by Lerman Manuel.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: [Call number: 511.3 L616] (1).
11. Elements of logic and foundations of mathematics in problems

by Marek Wiktor | Onyszkiewicz Janusz [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Dordrecht D Reidel 1982Availability: Items available for loan: [Call number: 511.3 M323] (1).
12. Logic design and computer organization

by Lewin M H.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Massachusetts Addison_wesely 1983Availability: Items available for loan: [Call number: 621.3819582 L672] (1).
13. Introduction to the theory of fuzzy subsets Fundamental theoretical elements

by Kaufmann Arnold | Swanson D L [].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Academic Press 1975Availability: Items available for loan: [Call number: 511.32 K21] (2).
14. Introduction to stability theory

by Pillay Anand.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 1983Availability: Items available for loan: [Call number: 511.3 P641] (1).
15. Computability

by Tourlakis G J.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Reston Virginia 1984Availability: Items available for loan: [Call number: 511.3 T727] (2).
16. Aspects of Vagueness

by Termini S [Auth.] | Trillas E ed [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Dordrecht D Reidel 1984Availability: Items available for loan: [Call number: 511.3 Sk626] (1).
17. Consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory

by Godel Kurt.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N J Princeton University Press 1958Availability: Items available for loan: [Call number: 511.3 G581] (2).
18. Foundation of constructive mathematics mathematical studies

by Beeson Michael J.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: [Call number: 511.3 B415] (1).
19. Computer science and multiple-valued logic : theory and applications

by Rine D C [ed.].

Edition: 2nd revMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North-Holland 1977Availability: Items available for loan: [Call number: 511.3 R579] (2).
20. Intensional mathematics

by Shapiro Stewart [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: [Call number: 511.3 Sh529] (1).
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