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

Elements of mathematical logic (model theory) (Record no. 240653)

000 -LEADER
fixed length control field 00658cam a22002051 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170221120837.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 740610s1967 ne 000 0 eng
040 ## - CATALOGING SOURCE
Transcribing agency IITK
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 164
100 1# - MAIN ENTRY--AUTHOR NAME
Personal name Kreisel, G.
245 10 - TITLE STATEMENT
Title Elements of mathematical logic (model theory)
Statement of responsibility, etc G. Kreisel and J. L. Krivine
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Amsterdam
Name of publisher North-Holland Publishing
Year of publication 1967
300 ## - PHYSICAL DESCRIPTION
Number of Pages xi, 222p
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Studies in logic and the foundations of mathematics
500 ## - GENERAL NOTE
General note Translation of Eléments de logique mathématique, theorie des modéles
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic, Symbolic and mathematical
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Krivine, J. L.
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 2007-08-12 164 K895EE A5760 Book Request Books

Powered by Koha