Handbook of logic and proof techniques for computer science/ (Record no. 330139)

MARC details
000 -LEADER
fixed length control field 00673cam a22001814a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 081764220X (alk. paper)
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Item number KRA
100 1# - MAIN ENTRY--AUTHOR NAME
Personal name Krantz, Steven G.
245 10 - TITLE STATEMENT
Title Handbook of logic and proof techniques for computer science/
Statement of responsibility, etc Steven G. Krantz.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Boston:
Name of publisher Birkhauser;
Place of publication New York:
Name of publisher Springer,
Year of publication 2002.
300 ## - PHYSICAL DESCRIPTION
Number of Pages xix, 245 p.;
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. 231-236) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computers.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Electronic data processing.
856 42 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy0812/2001043153-d.html
856 41 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy0812/2001043153-t.html
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Home Library Current Location Shelving location Date acquired Full call number Accession Number Price effective from Koha item type
        Dept. of Futures Studies Dept. of Futures Studies Processing Center 07/11/2019 004 KRA DFS4016 07/11/2019 Book