Models and computability: (Record no. 29019)

MARC details
000 -LEADER
fixed length control field 01716n a2200409#a 4500
001 - CONTROL NUMBER
control field 29941
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163609.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 990203s1999 enk b 100 0 eng||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 99019677
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GB99-51168
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521635500 (pbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency MIA
-- GZM
-- C#P
-- WEA
-- UMC
-- UKM
-- FPU
-- OCLCQ
042 ## - AUTHENTICATION CODE
Authentication code pcc
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number M689
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Lógica e Fundamentos 04-"Studies in Logic"
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Logic Colloquium
Date of meeting or treaty signing (1997:
Location of meeting Leeds, England)
245 10 - TITLE STATEMENT
Title Models and computability:
Remainder of title invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/
Statement of responsibility, etc. edited by S. Barry Cooper, John K. Truss.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, UK;
-- New York:
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1999.
300 ## - PHYSICAL DESCRIPTION
Extent ix, 419 p.;
Dimensions 23 cm.
490 #0 - SERIES STATEMENT
Series statement London Mathematical Society lecture note series;
Volume/sequential designation 259
-- 7320
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical
General subdivision Congresses.
9 (RLIN) 44080
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computable functions
General subdivision Congresses.
9 (RLIN) 18609
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical
General subdivision Congresses.
9 (RLIN) 44080
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Source of heading or term ram
Topical term or geographic name entry element Logique symbolique et mathématique
General subdivision Congrès.
9 (RLIN) 15099
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Systèmes informatiques
General subdivision Congrès.
Source of heading or term ram
9 (RLIN) 15611
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos 04-
Description subdivision "Studies in Logic"
Linkage 23801
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Cooper, S. B.
Fuller form of name (S. Barry)
9 (RLIN) 15131
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Truss, J. K.
9 (RLIN) 15605
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Association for Symbolic Logic.
9 (RLIN) 44941
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/description/cam029/99019677.html">http://www.loc.gov/catdir/description/cam029/99019677.html</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/toc/cam027/99019677.html">http://www.loc.gov/catdir/toc/cam027/99019677.html</a>
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Instituto de Matemática Pura e Aplicada
Koha item type Books
949 ## - LOCAL PROCESSING INFORMATION (OCLC)
a 200533098
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 2005-05-13   511.3 M689 1999 IMPA 39063000615412 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha