Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Resolution proof systems (Record no. 371693)

MARC details
000 -LEADER
fixed length control field 00571pam a2200169a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1996 xxu||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780792340171
040 ## - CATALOGING SOURCE
Original cataloging agency P K Kelkar Library, IIT Kanpur
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number St12r
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Stachniak, Zbigniew
245 0# - TITLE STATEMENT
Title Resolution proof systems
Remainder of title an algebraic theory
Statement of responsibility, etc. Zbigniew Stachniak
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Dordrecht
Name of publisher, distributor, etc. Kluwer Academic
Date of publication, distribution, etc. 1996
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 206p
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Automated Reasoning Series / Edited By William Pase
Volume/sequential designation V.4
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical logic (Symbolic logic)
997 ## -
-- A175327 C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Source of acquisition Cost, normal purchase price Total Checkouts Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 08/07/2012 International Book Agency 999999.99   511.3 St12r A175327 08/04/2016 Book Request 08/04/2016 Books

Powered by Koha