Taylor's Library Banner

Propositional logic : (Record no. 180282)

MARC details
000 -LEADER
fixed length control field 01063nam a2200265 a 4500
001 - CONTROL NUMBER
control field vtls001853160
003 - CONTROL NUMBER IDENTIFIER
control field MY-SjTCS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200226121307.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 110218s1999 enka 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521630177
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201102181410
Level of effort used to assign nonsubject heading access points VLOAD
Level of effort used to assign subject headings 200911120959
Level of effort used to assign classification siew_eng
Level of effort used to assign subject headings 200911120954
Level of effort used to assign classification siew_eng
Level of effort used to assign subject headings 200911120953
Level of effort used to assign classification siew_eng
-- 200407271913
-- VLOAD
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title eng
Language code of original ger
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.015113
Item number KLE
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Kleine Buning, H.
Fuller form of name (Hans)
9 (RLIN) 11028
245 10 - TITLE STATEMENT
Title Propositional logic :
Remainder of title deduction and algorithms /
Statement of responsibility, etc. Hans Kleine Büning, Theodor Lettman.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, U.K. :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1999.
300 ## - PHYSICAL DESCRIPTION
Extent x, 409 p. :
Other physical details ill. ;
Dimensions 24 cm.
490 1# - SERIES STATEMENT
Series statement Cambridge tracts in theoretical computer science;
Volume/sequential designation 48
500 ## - GENERAL NOTE
General note Translated from the German. First published in German by B.G. Teubner in 1994
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer algorithms.
9 (RLIN) 5494
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer logic.
9 (RLIN) 10228
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lettmann, T.
Fuller form of name (Theodor)
9 (RLIN) 101629
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Cambridge tracts in theoretical computer science;
Volume/sequential designation 48
920 ## - Programme
Programme UOS:C : 560445
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Barcode Date last seen Date last checked out Copy number Koha item type Public note
Withdrawn   Dewey Decimal Classification     Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 Taylor's Library-TU TU External Storage-LCS 27/07/2004   1000109508 12/12/2019 20/04/2010 1 Main Collection SOCIT, SOCIT, 560445