Introduction to mathematics of satisfiability / (Record no. 330203)

MARC details
000 -LEADER
fixed length control field 00665cam a2200193 a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781439801673 (hardcover : alk. paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1439801673 (hardcover : alk. paper)
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Marek, Wiktor.
245 10 - TITLE STATEMENT
Title Introduction to mathematics of satisfiability /
Statement of responsibility, etc. Victor W. Marek.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boca Raton :
Name of publisher, distributor, etc. CRC Press,
Date of publication, distribution, etc. c2009.
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 350 p. :
Other physical details ill. ;
490 1# - SERIES STATEMENT
Series statement Chapman & Hall/CRC studies in informatics series
500 ## - GENERAL NOTE
General note "A Chapman & Hall book."
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Propositional calculus.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Dept. of Futures Studies Dept. of Futures Studies Processing Center 11/11/2019   511.3 MAR DFS3564 11/11/2019 11/11/2019 Book