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) |