Logic and language models for computer science (Record no. 136841)

MARC details
000 -LEADER
fixed length control field 00542nam a2200193Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 180323s9999||||xx |||||||||||||| ||und||
020 ## - ISBN
International Standard Book Number 9789813230507
040 ## - CATALOGING SOURCE
Original cataloging agency UPES LIBRARY
Language of cataloging English
082 ## - DDC NUMBER
Classification number 005.131
Book Number RIC
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Richards, Dana
245 #0 - TITLE STATEMENT
Title Logic and language models for computer science
250 ## - EDITION STATEMENT
Edition statement 3rd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc World Scientific,
Place of publication, distribution, etc New Jersey:
Date of publication, distribution, etc 2018
300 ## - PHYSICAL DESCRIPTION
Pages xv, 451p.
500 ## - GENERAL NOTE
General note Includes index
650 ## - SUBJECT
Subject Computer Science
700 ## - ADDED ENTRY PERSONAL NAME
Added Entry Personal Name Hamburger, Henry
942 ## - Item Type
Koha item type Reference Books
100 ## - MAIN ENTRY--PERSONAL NAME
-- 64290
650 ## - SUBJECT
-- 64294
700 ## - ADDED ENTRY PERSONAL NAME
-- 64292
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Koha collection Location (home branch) Sublocation or collection (holding branch) Shelving location Date acquired Source of acquisition Cost, normal purchase price Koha issues (times borrowed) Koha full call number Barcode (Accession No.) Koha date last seen Cost, replacement price Price effective from Koha item type
    Dewey Decimal Classification   Reference Books (Not For Loan) Computer Science Central LIBRARY Central LIBRARY R2-1F REFERENCE SECTION 04/17/2018 TV Enterprises 3961.40   005.131 RIC DD50773 04/17/2018 7922.80 04/17/2018 Reference Books