Normal view MARC view ISBD view

Logic for Computer Scientists (Record no. 13968)

000 -LEADER
fixed length control field	00548nam a2200205Ia 4500
003 - CONTROL NUMBER IDENTIFIER
control field	OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20240502133713.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	180620b1989 xxu\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9780817634537
040 ## - CATALOGING SOURCE
Transcribing agency	JUIT, Solan
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	511.3 SCH
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name	Schoning, Uwe
245 ## - TITLE STATEMENT
Title	Logic for Computer Scientists
Statement of responsibility, etc.	by Uwe Schoning
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.	Bostan
Name of publisher, distributor, etc.	Birkhauser
Date of publication, distribution, etc.	1989
300 ## - PHYSICAL DESCRIPTION
Extent	166p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Logic Programming
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Logic, Symbolic and mathematical
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a	2db918d57f00000100a191fc3860f2cd
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type	TEXT BOOK

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Collection code	Home library	Current library	Shelving location	Date acquired	Source of acquisition	Cost, normal purchase price	Full call number	Barcode	Date last seen	Copy number	Price effective from	Koha item type
					TEXTBOOK SECTION	LRC_JUIT	LRC_JUIT	Mathematics	05/03/2010	IK International Pvt. Ltd.; New Delhi	2204.16	511.3 SCH	003119	21/05/2019	Copy 1	21/05/2019	TEXT BOOK