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

Results
	1.	Computability computable functions, logic, and the foundations of mathematics by Epstein Richard L Carnielli Walter A [Auth.] Edition: 2nd Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Belmont Wadsworth 1999 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Ep64. Place hold Add to cart (remove)
	2.	Advances in contemporary logic and computer science proceedings by Carnielli Walter A ed Brazilian Conference on Mathematical Logic (11th ; 6-10 May 1996 : Bahia,Brazil) Brazilian conference on mathematical logic Bahia, Brazil 6-10 May 1996 Series: Contemporary mathematics; 235 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Providence AMS 1999 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510 Am512c. Place hold Add to cart (remove)
	3.	Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter [author.] Coniglio, Marcelo [author.] Gabbay, Dov M [author.] Gouveia, Paula [author.] Sernadas, Cristina [author.] SpringerLink (Online service) Series: Applied Logic Series ; 35 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)

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