Discrete structures, logic, and computability / (Record no. 44690)

MARC details
000 -LEADER
fixed length control field 00917nam a2200205 i 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9781284070408
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.131
Item number HEI
100 1# - MAIN ENTRY--AUTHOR NAME
Personal name Hein, James L.
245 10 - TITLE STATEMENT
Title Discrete structures, logic, and computability /
250 ## - EDITION STATEMENT
Edition statement Fourth edition.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Burlington, MA :
Name of publisher Jones & Bartlett Learning,
Year of publication [2017] ©2017
300 ## - PHYSICAL DESCRIPTION
Number of Pages xiv, 1039 pages ;
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic programming.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Data structures (Computer science)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic, Symbolic and mathematical.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computable functions.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Reference Books
Holdings
Collection code Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Full call number Accession Number Koha item type
Reference Main Library Main Library Reference 14/10/2019 Purchased 12125.00 005.131 HEI 015904 Reference Books

© University of Vavuniya

---