Dynamic logic / (Record no. 299722)

MARC details
000 -LEADER
fixed length control field 00615cam a2200229ua 4500
001 - CONTROL NUMBER
control field 2088
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220105002149.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field ta
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 080723s2002 g b000 u eng u
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title eng
Language code of original NULL
082 14 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number HAR
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Harel, David .
245 10 - TITLE STATEMENT
Title Dynamic logic /
Statement of responsibility, etc. David Harel.
Medium Textual Documents
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New Delhi :
Name of publisher, distributor, etc. Prentice Hall of India ,
Date of publication, distribution, etc. 2002.
300 ## - PHYSICAL DESCRIPTION
Extent NULL ;
Dimensions NULL.
653 #0 - INDEX TERM--UNCONTROLLED
Uncontrolled term Mathamatical logic
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Kozen, Dexter .
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Tiuryn, Jerzy .
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Coded location qualifier Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
        Dept. of Computer Science Dept. of Computer Science Processing Center 12/12/2019 00000   511.3 DCS2895 12/12/2019 1 12/12/2019 Book