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

Results
	1.	No cover image available (Omega)-Bibliography of mathematical logic proof theory : constructive mathematics by Troelstra A S ;.ed Dalen Dirk van [ed.] Kister J E [ed.] Muller G H [ed.] Series: Perspectives in mathematical logic; v 6 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1987 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 016.5101 M958. Place hold Add to cart (remove)
	2.	Logic and structure by Dalen Dirk Van Series: Universitext Edition: 3rd augmented Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 D139. Place hold Add to cart (remove)
	3.	Mystic, geometer, and intuitionist the life of L E J Brouwer by Dalen Dirk van 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: 925.1 B876D. Place hold Add to cart (remove)
	4.	Mystic, geometer, and intuitionist the life of L.E.J. Brouwer by Dalen Dirk van Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Clarendon Press 2005 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 925.1 B876D. Place hold Add to cart (remove)
	5.	Computer science logic selected papers by Dalen Dirk van ed Annual Conference of the European Association for Computer Science Logic, CSL'96 (21-27 Sep 1996 : Utrecht,Netherlands) Annual conference of the European Association for Computer Science Logic, CSL'96 Utrecht, Netherlands 21-27 Sept 1996 Series: Lecture notes in computer science; v 1258 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 An613. 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