Clausal Form Logic (Record no. 18544)

MARC details
000 -LEADER
fixed length control field 00472pam a2200145a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 140414b1989 xxu||||| |||| 00| 0 eng d
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.131
Item number RIC
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name RICHARDS, TOM
245 ## - TITLE STATEMENT
Title Clausal Form Logic
Remainder of title An Introduction to the logic of Computer Reasoning
Statement of responsibility, etc.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Addison-Wesley
Date of publication, distribution, etc. 1989
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTER SYSTEM-PROGRAMMING ,APPLICATION OF MATHEMATICAL LOGIC
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTER SCIENCE
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN)
Topical term or geographic name as entry element COMPUTER SCIENCE
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 19169
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Malaviya National Institute of Technology Malaviya National Institute of Technology   01/12/2012   005.131 RIC 64139 15/04/2014 15/04/2014 General Books