A First course in formal logic and its applications in computer science (Record no. 161599)

000 -LEADER
fixed length control field 00731nam a22002297a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220718133714.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220322b ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0632016124
041 ## - LANGUAGE
Language of text/sound track English
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
DDC Edition number 23
Classification number 005.131
Author Mark DOW
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Dowsing, R.D.
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Rayward-Smith, V. J.
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Walter, C.D.
245 ## - TITLE STATEMENT
Title A First course in formal logic and its applications in computer science
Statement of responsibility, etc. / R.D. Dowsing, V. J. Rayward-Smith and C.D. Walter
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Oxford
Name of publisher, distributor, etc. Blackwell scientific publications
Date of publication, distribution, etc. 1986
300 ## - PHYSICAL DESCRIPTION
Extent vi, 265 p.
500 ## - GENERAL NOTE
General note Includes references and index.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
9 (RLIN) 3811
Topical term or geographic name entry element Computer science-Mathematics
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
9 (RLIN) 138840
Topical term or geographic name entry element Programming (Mathematics)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
item type Books in Stacks (S)
Holdings
Withdrawn status Lost status Damaged status Not for loan Permanent Location Current Location Shelving location Date acquired Source of acquisition Price Full call number Accession Number Date last seen item type
        Main Library Main Library General Section 2022-03-22 Individual Donor 250.00 005.131 DOW 283553 2022-03-22 Books in Stacks (S)
© University of Jaffna