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


Handbook of logic in computer science. (Record no. 393966)

000 -LEADER
fixed length control field 02361cam a2200625Ia 4500
001 - CONTROL NUMBER
control field ocm53983677
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20140120114534.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu---unuuu
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 040106s2000 enk ob 001 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency
Language of cataloging eng
Transcribing agency N$T
Modifying agency OCLCQ
-- YDXCP
-- OCLCG
-- OCLCQ
-- N$T
-- OCLCQ
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780191546273 (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0191546275 (electronic bk.)
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 11632364
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)53983677
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76
Item number .H2785 2000eb
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 052000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 037000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 013000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 032000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 018000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 014000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision 067000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Edition number 22
049 ## - LOCAL HOLDINGS (OCLC)
Holding library ISIA
245 00 - TITLE STATEMENT
Title Handbook of logic in computer science.
Number of part/section of a work Volume 5,
Name of part/section of a work Logic and algebraic methods
Medium [electronic resource] /
Statement of responsibility, etc edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
246 30 - VARYING FORM OF TITLE
Title proper/short title Logic and algebraic methods
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Oxford :
Name of publisher, distributor, etc Clarendon Press ;
Place of publication, distribution, etc New York :
Name of publisher, distributor, etc Oxford University Press,
Date of publication, distribution, etc 2000.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and indexes.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logique symbolique et math�ematique.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Reference.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Machine Theory.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Computer Literacy.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Information Technology.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Data Processing.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Computer Science.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Hardware
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Ciencia da computacao ou informatica.
Source of heading or term larpcal
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logica e semantica de programacao.
Source of heading or term larpcal
653 0# - INDEX TERM--UNCONTROLLED
Uncontrolled term Programming.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Abramsky, Samson,
Dates associated with a name 1953-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Gabbay, Dov M.,
Dates associated with a name 1945-
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Maibaum, Thomas S. E.,
Dates associated with a name 1947-
856 40 - ELECTRONIC LOCATION AND ACCESS
Materials specified EBSCOhost
Uniform Resource Identifier <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98424">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98424</a>
938 ## -
-- YBP Library Services
-- YANK
-- 2336166
938 ## -
-- EBSCOhost
-- EBSC
-- 98424
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
994 ## -
-- 92
-- INISI

No items available.

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


Visitor Counter