PKK Library

Your cart is empty.

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

Logic techniques of formal reasoning (Record no. 461493)

000 -LEADER
fixed length control field 00469 a2200169 4500
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 64010046
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 164
Item number K125l
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Kalish, Donald
245 1# - TITLE STATEMENT
Title Logic techniques of formal reasoning
Statement of responsibility, etc. Donald Kalish and Richard Montague
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Harcourt
Date of publication, distribution, etc. 1964
300 ## - PHYSICAL DESCRIPTION
Extent x, 350p.
500 ## - GENERAL NOTE
General note Includes Bibliography & Index
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Montague, Richard
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name
997 ## -
-- A35617 C A35602 C A35573 Cop.26 C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type Copy number
Weeded Out       R202 PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2009-01-01 164 K125l A35617 2016-07-08 2016-07-08 Withdrawn  
Weeded Out       R202 PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2009-01-01 164 K125l A35602 2016-07-08 2016-07-08 Withdrawn  
Weeded Out       R202 PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2010-11-05 164 K125l A35573 2016-07-08 2016-07-08 Withdrawn Cop.26

Powered by Koha