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

MARC details
000 -LEADER
fixed length control field 04303cam a2200973Ia 4500
001 - CONTROL NUMBER
control field ocm53983677
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220712175422.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 N$T
Language of cataloging eng
Description conventions pn
Transcribing agency N$T
Modifying agency OCLCQ
-- YDXCP
-- OCLCG
-- OCLCQ
-- N$T
-- OCLCQ
-- OCLCF
-- NLGGC
-- OCLCO
-- OCLCQ
-- IDEBK
-- OCLCQ
-- STF
-- VTS
-- AGLDB
-- G3B
-- K6U
-- OCLCO
019 ## -
-- 814379019
-- 824546057
-- 906270583
-- 1082223175
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780191546273
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0191546275
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1280375272
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781280375279
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 0198537352
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9780198537359
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 0198537611
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9780198537618
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 019853762X
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9780198537625
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 0198537808
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9780198537809
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 0198537816
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9780198537816
029 1# - (OCLC)
OCLC library identifier DEBBG
System control number BV043134508
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 422405094
029 1# - (OCLC)
OCLC library identifier GBVCP
System control number 801101956
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 11632364
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)53983677
Canceled/invalid control number (OCoLC)814379019
-- (OCoLC)824546057
-- (OCoLC)906270583
-- (OCoLC)1082223175
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
072 #7 - SUBJECT CATEGORY CODE
Subject category code PBCD
Source bicssc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Edition number 22
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
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 /
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.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
490 1# - SERIES STATEMENT
Series statement Oxford science publications.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and indexes.
520 ## - SUMMARY, ETC.
Summary, etc This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
590 ## - LOCAL NOTE (RLIN)
Local note eBooks on EBSCOhost
Provenance (VM) [OBSOLETE] EBSCO eBook Subscription Academic Collection - Worldwide
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
9 (RLIN) 57974
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Electronic Data Processing
9 (RLIN) 42124
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Informatique.
9 (RLIN) 869464
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logique symbolique et mathématique.
9 (RLIN) 875634
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
9 (RLIN) 38225
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
9 (RLIN) 38226
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
9 (RLIN) 38227
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
9 (RLIN) 38228
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
9 (RLIN) 38229
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
9 (RLIN) 38230
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
9 (RLIN) 38231
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer science.
Source of heading or term fast
-- (OCoLC)fst00872451
9 (RLIN) 57974
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
Source of heading or term fast
-- (OCoLC)fst01002068
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
9 (RLIN) 1343401
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
9 (RLIN) 1343402
653 0# - INDEX TERM--UNCONTROLLED
Uncontrolled term Programming.
655 #0 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
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-
9 (RLIN) 1343403
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Gabbay, Dov M.,
Dates associated with a name 1945-
9 (RLIN) 1343404
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Maibaum, Thomas S. E.,
Dates associated with a name 1947-
9 (RLIN) 1343405
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Title Handbook of logic in computer science. Volume 5, Logic and algebraic methods.
Place, publisher, and date of publication Oxford : Clarendon Press ; New York : Oxford University Press, 2000
International Standard Book Number 0198537352
-- 9780198537359
Record control number (DLC) 92000510
-- (OCoLC)25831688
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Oxford science publications.
9 (RLIN) 203054
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424</a>
938 ## -
-- EBSCOhost
-- EBSC
-- 98424
938 ## -
-- ProQuest MyiLibrary Digital eBook Collection
-- IDEB
-- 37527
938 ## -
-- YBP Library Services
-- YANK
-- 2336166
994 ## -
-- 92
-- INOPJ
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
        E-Books EBSCO OPJGU Sonepat- Campus OPJGU Sonepat- Campus 12/07/2022   12/07/2022 12/07/2022 Electronic-Books

O.P. Jindal Global University, Sonepat-Narela Road, Sonepat, Haryana (India) - 131001

Send your feedback to glus@jgu.edu.in

Hosted, Implemented & Customized by: BestBookBuddies   |   Maintained by: Global Library