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

|
1. 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).
2. 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).
3. Theory of relations

by Fraisse Roland.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North-Holland 1986Availability: Items available for loan: [Call number: 511.32 F812] (1).
4. Computibility,complexity,logic

by Borger Egon.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North-Holland 1989Availability: Items available for loan: [Call number: 511.3 B732] (1).
5. Language in action : categories,lambdas and dynamic logic

by Benthem Johan Van.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North-Holland 1991Availability: Items available for loan: [Call number: 511.3 B476] (1).
6. Constructivism in mathematics : an introduction

by Troelstra A S | Dalen D Van [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North Holand 1988Availability: Items available for loan: [Call number: 511.3 T843] (1).
7. Constructivsm in mathematics : an introduction

by Troelstra A S | Dalen D Van [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam North-Holland 1988Availability: Items available for loan: [Call number: 511.3 T843] (1).
8. Instantiation theory : on the foundations of automated deduction

by Williams J G.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1991Availability: Items available for loan: [Call number: 511.3 W724] (1).
9. Selected parers on automath

by Geuvers J H [Auth.] | Vrijer R C De ed [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam Elsevier 1994Availability: Items available for loan: [Call number: 511.3 N371] (1).
10. Temporal logic mathematical foundations and computational aspects

by Gabbay D M | Hodkinson Ien [Auth.] | Reynolds Mark [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 1994Availability: Items available for loan: [Call number: 511.3 G112] (1).
11. Algebraic foundations of non-commutative differential geometry and quantum groups

by Pittner, Ludwig.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1996Availability: Items available for loan: [Call number: 530.13 P689] (1).
12. Logical frameworks for truth and abstraction an axiomatic study

by Cantini, Andrea.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam Elsevier 1996Availability: Items available for loan: [Call number: 511.3 C231] (1).
13. Admissibility of logical inference rules

by Rybakov Vladimir V.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam Elsevier 1997Availability: Items available for loan: [Call number: 511.3 R988] (1).
14. Computable structures and the hyperarithmetical hierarchy

by Ash C J | Knight J [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam Elsevier 2000Availability: Items available for loan: [Call number: 511.3 As819] (1).
15. Real analysis and foundations

by Krantz Steven G.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boca Raton CRC Press 1991Availability: Items available for loan: [Call number: 515.8 K89] (1).
16. Continuum a critical examination of the foundation of analysis

by Bole Thomas [] | Pollard Stephen [].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Dover 1987Availability: Items available for loan: [Call number: 515 W548] (1).
17. Computability computable functions, logic, and the foundations of mathematics

by Epstein Richard L | Carnielli Walter A [Auth.].

Edition: 2ndMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: Belmont Wadsworth 1999Availability: Items available for loan: [Call number: 511.3 Ep64] (1).
18. Theory of relations

by Fraisse Roland.

Edition: rev.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam Elsevier 2000Availability: Items available for loan: [Call number: 511.32 F812] (1).
19. Temporal logic mathematical foundations and computational aspects

by Gabbay Dov M | Finger Marcelo [Auth.] | Reynolds Mark A [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 2000Availability: Items available for loan: [Call number: 511.3 G112] (1).
20. Landmark papers in general equilibrium theory, social choice and welfare

by Arrow Kenneth J | Debreu Gerard [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cheltenham Edward Elgar 2002Availability: Items available for loan: [Call number: 339.5 Ar778] (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