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


Computer science logic (Record no. 109450)

MARC details
000 -LEADER
fixed length control field 00765nam a2200205Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 131122s9999 xx 000 0 und d
020 ## - ISBN | অাই এস বি এন
ISBN | অাই এস বি এন 3-540-63172-0
040 ## - CATALOGING SOURCE
Original cataloging agency
041 ## - LANGUAGE CODE
Language code English
082 ## - DDC | ডিউই
Classification number | বর্গসংখ্যা 5.131
Book Number | গ্রন্থাঙ্ক An613
100 ## - MAIN ENTRY--PERSONAL NAME | মুখ্য সংলেখ - ব্যাক্তিনাম
Personal name | ব্যাক্তিনাম Dalen Dirk van ed.
110 ## - AIN ENTRY--CORPORATE NAME | মুখ্য সংলেখ - সংস্থানাম
Corporate name | সংস্থা নাম Annual Conference of the European Association for Computer Science Logic, CSL'96 (21-27 Sep 1996 : Utrecht,Netherlands)
111 ## - MAIN ENTRY--MEETING NAME | মুখ্য সংলেখ - সভার নাম
Meeting name | সভার নাম Annual conference of the European Association for Computer Science Logic, CSL'96
Location of meeting | সভার স্থান Utrecht, Netherlands
Date of meeting | সভার তারিখ 21-27 Sept 1996
245 ## - TITLE STATEMENT | অাখ্যা বিবরণী
Title | অাখ্যা Computer science logic
Sub title | উপঅাখ্যা selected papers
260 ## - IMPRINT | প্রকাশনা ক্ষেত্র
Place of publication | প্রকাশ স্থান Berlin
Name of publisher | প্রকাশকের নাম Springer-Verlag
Date of publication | প্রকাশ কাল 1997
300 ## - PHYSICAL DESCRIPTION |
Page / Vol. No | পৃষ্ঠা / খন্ড সংখ্যা viii,471p.
440 ## - SERIES STATEMENT |গ্রন্থমালা
Series Title | গ্রন্থমালা অাখ্যা Lecture notes in computer science; v 1258
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয়
Topical term | মূল বিষয় Symbolic logic
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Date last seen Total Checkouts Full call number Accession No. Koha item type Lost status Damaged status Not for loan Withdrawn status Home library Current library Shelving location Date acquired
15/06/2023   5.131 An613 118273 Books         ISI Library, Kolkata ISI Library, Kolkata 4th Floor 25/12/2013
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