Mathematical logic for computer science (Record no. 352674)

MARC details
000 -LEADER
fixed length control field 00451nam a22001817a 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 111129t xxu||||| |||| 00| 0 eng d
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 519.85
Item number BEN
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9788181283443
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Ben-Ari, Moderchai 14115
245 ## - TITLE STATEMENT
Title Mathematical logic for computer science
250 ## - EDITION STATEMENT
Edition statement 2nd ed
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. India
Name of publisher, distributor, etc. Springer
Date of publication, distribution, etc. 2011
300 ## - PHYSICAL DESCRIPTION
Extent 304p.
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Calculus
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Logic programming
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Date last checked out Price effective from Koha item type
    Dewey Decimal Classification     School of Engineering School of Engineering 11/29/2011 595.00 3 519.85 BEN SE26909 10/08/2018 07/17/2018 11/29/2011 Books

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India