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

UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS (Record no. 292642)

000 -LEADER
fixed length control field 00487pam a2200169a 44500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160408b1979 xxu||||| |||| 00| 0 eng d
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number L586u
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Lewis, Harry R.
245 1# - TITLE STATEMENT
Title UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Reading, Mass.
Name of publisher, distributor, etc. Addison-Wesley
Date of publication, distribution, etc. 1979
300 ## - PHYSICAL DESCRIPTION
Extent xv,198
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Unsolvability (Mathematical Logic)
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Combinatorial Analysis
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computable Functions
964 ## -
-- CIRC
997 ## -
-- A72669 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
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2007-08-12 511.3 L586u A72669 2016-04-08 Book Request 2016-04-08 Books

Powered by Koha