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

Results
	1.	Computability theory,semantics,and logic programming by Fitting Melvin Series: Oxford logic guides, 13 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y O U P 1987 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 F547. Place hold Add to cart (remove)
	2.	Elementary categories,elementary toposes by Mclarty Colin Series: Oxford logic guides; 21 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta Clarendon Press 1995 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Mc161. Place hold Add to cart (remove)
	3.	Foundation without foundationalism : a case for second-order logic by Shapiro Stewart Series: Oxford logic guides; 17 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta Clarendon Press 1991 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sh529. Place hold Add to cart (remove)
	4.	No cover image available Groups of finite morley rank by Borovik Alexandre Nesin Ali [Auth.] Series: Oxford logic guides; 26 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta Clarendon Press 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512.2 B736. Place hold Add to cart (remove)
	5.	No cover image available A Study of logics by Cleave J P Series: Oxford logic guides; 18 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta Clarendon Press 1991 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 C623. Place hold Add to cart (remove)
	6.	Modal logic by Chagrov Alexander Zakharyaschev Michael [Auth.] Series: Oxford logic guides; 35 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 C433. Place hold Add to cart (remove)
	7.	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)
	8.	Geometric stability theory by Pillay Anand Series: Oxford logic guides; 32 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.33 P641. Place hold Add to cart (remove)
	9.	Features and fluents the representation of knowledge about dynamical systems by Sandewall Erik Series: Oxford logic guides; 30 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 515.352 Sa214. Place hold Add to cart (remove)
	10.	Set theory and the continuum problem by Smullyan Raymond M Fitting Melvin [Auth.] Series: Oxford logic guides; 34 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.322 SM666. Place hold Add to cart (remove)
	11.	Elements of intuitionism by Dummett Michael Series: Oxford logic guides; 39 Edition: 2nd 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 D889. Place hold Add to cart (remove)
	12.	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)
	13.	Model theory by Manzano Maria Queiroz Ruy J G B De [] Series: Oxford logic guides; 37 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 M296. Place hold Add to cart (remove)
	14.	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)
	15.	Category theory by Awodey Steve Series: Oxford logic guides; 52 Edition: 2nd Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford OUP 2010 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512.62 Aw967. Place hold Add to cart (remove)
	16.	Computability and randomness by Nies Andre Series: Oxford logic guides; 51 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford OUP 2009 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.352 N676. Place hold Add to cart (remove)
	17.	No cover image available Beginning model theory : the completeness theorem and some consequences by Bridge Jane Series: Oxford logic guides Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Calrendon Press 1977 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B851. Place hold Add to cart (remove)
	18.	Toposes and local set theories an introduction by Bell J L Series: Oxford logic guides; 14 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 1988 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.322 B433. Place hold Add to cart (remove)
	19.	Computability theory, semantics, and logic programming by Fitting Melvin Series: Oxford logic guides; 13 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York OUP 1987 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 F547. Place hold Add to cart (remove)
	20.	Twenty-five years of constructive type theory proceedings by Sambin Giovanni ed Conference on Twenty-five Years of Constructive Type Theory (19-21 Oct 1995 : Venice,Switzerland) Conference on twenty-five years of constructive type theory Venice, Switzerland 19-21 Oct 1995 Series: Oxford logic guides; 36 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 C748. Place hold 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 21 results.