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

Logic: techniques of formal reasoning (Record no. 480539)

000 -LEADER
fixed length control field 00448pam a2200169a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160510b xxu||||| |||| 00| 0 eng d
040 ## - CATALOGING SOURCE
Transcribing agency IITK
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 164 K125l
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Kalish, Donald
245 ## - TITLE STATEMENT
Title Logic: techniques of formal reasoning
Statement of responsibility, etc Donald Kalish and Richard Montague
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication New York
Name of publisher Harcourt, Brace & World
Year of publication 1964
300 ## - PHYSICAL DESCRIPTION
Number of Pages x, 350p
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Montague, Richard
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Accession Number Uniform Resource Identifier Koha item type
Weeded Out       R202 PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2008-07-21 164 K125l A35610 Withdrawn

Powered by Koha