Asia Pacific University Library catalogue


Introductory logic and formal methods / (Record no. 2709)

000 -LEADER
fixed length control field 00988 am a2200301ua 4500
001 - CONTROL NUMBER
control field 008157431
003 - CONTROL NUMBER IDENTIFIER
control field APU
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150713134253.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 950622s1994 enka || 001 ||eng
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GB9516113
Source bnb
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1872474101 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781872474106 (pbk.)
040 ## - CATALOGING SOURCE
Original cataloging agency Uk
Transcribing agency Uk
Modifying agency SHA
-- HK
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.63
Item number .H43 1994
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 20
Item number HEA 1994
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Heath, David.
9 (RLIN) 6181
245 10 - TITLE STATEMENT
Title Introductory logic and formal methods /
Statement of responsibility, etc David Heath, Derek Allum, Lynne Dunckley.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Henley-on-Thames :
Name of publisher, distributor, etc Alfred Waller,
Date of publication, distribution, etc 1994.
300 ## - PHYSICAL DESCRIPTION
Extent 224p. :
Other physical details ill. ;
Dimensions 24cm.
500 ## - GENERAL NOTE
General note Bibliography: p214. _ Includes index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Development.
9 (RLIN) 518
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Z (Computer program language)
9 (RLIN) 6182
653 1# - INDEX TERM--UNCONTROLLED
Uncontrolled term Software
-- Development
-- Mathematical models
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Allum, Derek.
9 (RLIN) 6183
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Dunckley, Lynne.
9 (RLIN) 6184
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Book
Koha issues (borrowed), all copies 3
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Use restrictions Not for loan Collection code Home library Current library Shelving location Date acquired Source of acquisition Invoice number Cost, normal purchase price Total Checkouts Total Renewals Full call number Barcode Date last seen Date checked out Copy number Cost, replacement price Price effective from Koha item type
Not Withdrawn Available   Not Damaged No use restrictions Available for loan Book APU Library APU Library Open Shelf 12/03/2013 REHOBOTH 1644 | 1644 25.00 3 2 QA76.63 .H43 1994 c.1 00008349 27/01/2015 08/12/2014 1 25.00 12/03/2013 General Circulation