Linear logic in computer science/ (Record no. 29168)

MARC details
000 -LEADER
fixed length control field 01027n a2200301#a 4500
001 - CONTROL NUMBER
control field 30103
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163610.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 040624s2004 enka f b 001 0 eng||
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA452425
Source bnb
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521608570 (pbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC
040 ## - CATALOGING SOURCE
Original cataloging agency UKM
Transcribing agency UKM
Modifying agency CUS
-- IQU
-- OCL
-- P5A
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number L754
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Lógica e Fundamentos-Congressos e Seminários.
245 00 - TITLE STATEMENT
Title Linear logic in computer science/
Statement of responsibility, etc. edited by Thomas Ehrhard ... [et al.].
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. 2004.
300 ## - PHYSICAL DESCRIPTION
Extent x, 381 p.:
Other physical details ill.;
Dimensions 23 cm.
490 #0 - SERIES STATEMENT
Series statement London Mathematical Society lecture note series;
Volume/sequential designation 316
-- 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 Proof theory.
9 (RLIN) 37150
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
9 (RLIN) 9813
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
General subdivision Mathematics.
9 (RLIN) 37772
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos-
Complement Congressos e Seminários.
Linkage 23823
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ehrhard, Thomas
Dates associated with a name 1958-
9 (RLIN) 15817
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 200533241
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-07-19   511.3 L754 2004 IMPA 39063000617202 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha