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

Logic at Botik '89 : proceedings (Record no. 510349)

000 -LEADER
fixed length control field 00826cam a2200253 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170517154843.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 890517s1989 gw a b 100 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0387512373
040 ## - CATALOGING SOURCE
Transcribing agency DLC
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 001.64
Item number L497
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Symposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR)
245 10 - TITLE STATEMENT
Title Logic at Botik '89 : proceedings
Statement of responsibility, etc edied by A.R. Meyer and M.A. Taitslin
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin ;
-- New York :
Name of publisher Springer-Verlag,
Year of publication c1989.
300 ## - PHYSICAL DESCRIPTION
Number of Pages x, 289 p. :
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Lecture notes in computer science ;
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title 363
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computers
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Electronic data processing
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic, Symbolic and mathematical
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Meyer, Albert R., ed.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Taitslin, M. A., ed.
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
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2016-12-06 001.64 L497 V.363 A105669 Book Request Books

Powered by Koha