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

Results
	1.	Labelled deductive systems by Gabbay Dov M Series: Oxford logic guides; 33 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 1996 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.24 G112. Place hold Add to cart (remove)
	2.	No cover image available Handbook of tableau methods by Agostino Marcello D [ed.] Gabbay Dov M [ed.] Hahnle Reiner [ed.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Dordrecht Kluwer Academic 1999 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Ag275. Place hold Add to cart (remove)
	3.	Fibring logics by Gabbay Dov M Series: Oxford logic guides; 38 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 1999 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G112. Place hold Add to cart (remove)
	4.	Temporal logic mathematical foundations and computational aspects by Gabbay Dov M Finger Marcelo [Auth.] Reynolds Mark A [Auth.] Series: Oxford logic guides; 40 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 2000 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G112. Place hold Add to cart (remove)
	5.	Logic and algebraic methods by Abramsky S [ed.] Gabbay Dov M [ed.] Maibaum T S E [ed.] Series: Handbook of logic in computer science; v 5 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 2000 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Ab161. Place hold Add to cart (remove)
	6.	No cover image available Handbook of the history of logic vol 1 by Gabbay Dov M [ed.] Woods John [ed.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Elsevier 2004 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 160.9 G112. Place hold Add to cart (remove)
	7.	Handbook of the history of logic vol 8 by Gabbay Dov M [ed.] Woods John [ed.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Elsevier 2007 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 160.9 G112. Place hold Add to cart (remove)
	8.	Mathematical problems from applied logic II logics for the XXIst century by Gabbay Dov M [ed.] Goncharov Sergei S [ed.] Zakharyaschev Michael [ed.] Series: International mathematical series; 5 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 2007 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G112. Place hold Add to cart (remove)
	9.	Handbook of quantum logic and quantum structures quantum logic by Engesser Kurt [ed.] Gabbay Dov M [ed.] Lehmann Daniel [ed.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Elsevier 2009 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 530.12015113 En57. Place hold Add to cart (remove)
	10.	Proof theory for fuzzy logics by Gabbay Dov [ed.] Metcalfe George [ed.] Olivetti Nicola [ed.] Series: Applied logic series; v 36 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 2009 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.313 M588. Place hold Add to cart (remove)
	11.	No cover image available Handbook of the logic of argument and inference the turn towards the practical by Gabbay Dov M [ed.] Johnson Ralph H [ed.] Ohlbach Hans Jurgen [ed.] Woods John [ed.] Series: Studies in logic and practical reasoning; v 1 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam Elsevier 2002 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G112. Place hold Add to cart (remove)
	12.	Neural- symbolic learning systems foundations and applications by d'Avila Garcez Artur S Broda Krysia B [Auth.] Gabbay Dov M [Auth.] Series: Perspectives in neural computing Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London Springer-Verlag 2002 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.32 D259. Place hold Add to cart (remove)
	13.	Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. by Gabbay, Dov M [editor.] Goncharov, Sergei S [editor.] Zakharyaschev, Michael [editor.] SpringerLink (Online service) Series: International Mathematical Series ; 4 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for reference: ISI Library, Kolkata: Not for loan (1). Add to cart (remove)
	14.	Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov. by Gabbay, Dov M [editor.] Zakharyaschev, Michael [editor.] Goncharov, Sergei S [editor.] SpringerLink (Online service) Series: International Mathematical Series ; 5 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	15.	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)
	16.	Proof Theory for Fuzzy Logics [electronic resource] / by George Metcalfe, Nicola Olivetti, Dov Gabbay. by Metcalfe, George [author.] Olivetti, Nicola [author.] Gabbay, Dov [author.] SpringerLink (Online service) Series: Applied Logic Series ; 36 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009 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

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 16 results.