Matheson Library
Empowering Knowledge, Inspiring Discovery

A first course in formal logic and its applications in computer science / (Record no. 38860)

MARC details
000 -LEADER
fixed length control field 00733nam a2200229u 4500
001 - CONTROL NUMBER
control field 00768286
003 - CONTROL NUMBER IDENTIFIER
control field PWmBRO
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240602101226.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 180388
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) 005.131/D752f
100 10 - MAIN ENTRY--PERSONAL NAME
Personal name Dowsing, Roy.
245 12 - 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, C.D. Walter.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Oxford :
Name of publisher, distributor, etc. Blackwell Scientific,
Date of publication, distribution, etc. c1986
300 ## - PHYSICAL DESCRIPTION
Extent vi, 265 p.
440 00 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Computer science texts
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Electonic digital computers
General subdivision Programming.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming (Mathematics)
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
700 20 - ADDED ENTRY--PERSONAL NAME
Personal name Rayward-Smith, V. J.
700 10 - ADDED ENTRY--PERSONAL NAME
Personal name Walter, C. D.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Main Collection Matheson Library Matheson Library Main Collection 02.06.2024   005.131 D752f 055639 24.03.2018 24.03.2018 Books