Mathematical logic for computer science (Record no. 118967)

MARC details
000 -LEADER
fixed length control field 00693cam a22002531 4500
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title English
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 013564139X
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.B3955 1993
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Ben-Ari, M. , 1948-
245 ## - TITLE STATEMENT
Title Mathematical logic for computer science
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. Prentice-Hall
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Date of publication, distribution, etc. 1993
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Date of publication, distribution, etc. 1993
270 ## - ADDRESS
Country United States
245 ## - TITLE STATEMENT
Statement of responsibility, etc. M. Ben-Ari
300 ## - PHYSICAL DESCRIPTION
Extent xi , 305 p. ; 24 cm.
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Prentice-Hall international series in computer science
500 ## - GENERAL NOTE
General note Includes bibliographical references and index
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic , Symbolic and mathematical
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
General subdivision QA
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type PRINT
970 ## -
-- 51
-- Mohamad Barham
-- 51
-- Mohamad Barham
Holdings
Withdrawn status Lost status Damaged status Catalog status Home library Current library Shelving location Date acquired Purchase price / Estimate unit cost Inventory number ACQ TYPE Total Checkouts Full call number Barcode Date last seen Copy number, for the same item same call number Price effective from Koha item type
Exist Exist Not damaged COMPLETE المكتبة الرئيسية المكتبة الرئيسية الطابق الثاني أ 03/03/2021 42.00 E72922 c.1. MONOGRAPH   QA9.B3955 1993 E72922 c.1. 03/03/2021 1 03/03/2021 PRINT