Normal view MARC view ISBD view

Dynamic logic / (Record no. 40782)

MARC details
000 -LEADER
fixed length control field	00820nam a2200241 a 4500
001 - CONTROL NUMBER
control field	vtls000030808
003 - CONTROL NUMBER IDENTIFIER
control field	KUKTEM
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20251117145152.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	080813t2007 ii a f 001 0 eng\|d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9788120331716
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description	201107132037
Level of effort used to assign nonsubject heading access points	VLOAD
Level of effort used to assign subject headings	200908141508
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908141438
Level of effort used to assign classification	VLOAD
Level of effort used to assign subject headings	200908132021
Level of effort used to assign classification	VLOAD
--	200808130826
--	ida84
040 ## - CATALOGING SOURCE
Original cataloging agency	UMP
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR)	QA76.63 .H37 2007
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Harel, David
245 10 - TITLE STATEMENT
Title	Dynamic logic /
Statement of responsibility, etc.	David harrel, Dexter Kozen, Jerzy Tiuryn
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.	2007
300 ## - PHYSICAL DESCRIPTION
Extent	459 p. :
Other physical details	ill. ;
Dimensions	24 cm.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Logic programming
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Dynamic programming
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Kozen, Dexter
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Tiuryn, Jerzy

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Home library	Current library	Date acquired	Cost, normal purchase price	Total checkouts	Full call number	Barcode	Date last seen	Copy number	Cost, replacement price	Price effective from	Koha item type
	Not lost			UMPLIB PEKAN	UMPLIB PEKAN	04/09/2019	14.80		QA76.63 .H37 2007	0000031843	04/09/2019	1	14.80	04/09/2019	Open Shelf