Mathematical logic: (Record no. 27977)

MARC details
000 -LEADER
fixed length control field 01290n a2200361#a 4500
001 - CONTROL NUMBER
control field 28851
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20231124120739.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 000616m20009999enk b 001 0 eng||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 00056525
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBA0-65273
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0198500491 (pt. 1 : acid-free paper)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0198500483 (pbk. : pt. 1 : acid-free paper)
035 ## - SYSTEM CONTROL NUMBER
System control number ocm44467497
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency C#P
-- UKM
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title eng
Language code of original fre
042 ## - AUTHENTICATION CODE
Authentication code pcc
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number C798m
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Lógica e Fundamentos 02-Lógica Matemática e Funções Recursivas.
100 0# - MAIN ENTRY--PERSONAL NAME
Personal name Cori, René
9 (RLIN) 14278
240 10 - UNIFORM TITLE
Uniform title Cori, René
Language of a work English
245 10 - TITLE STATEMENT
Title Mathematical logic:
Remainder of title a course with exercises/
Statement of responsibility, etc. René Cori and Daniel Lascar ; translated by Donald H. Pelletier.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Oxford:
-- New York:
Name of publisher, distributor, etc. Oxford University Press,
Date of publication, distribution, etc. 2000-2001.
300 ## - PHYSICAL DESCRIPTION
Extent 2 v.;
Dimensions 24 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references and index.
505 1# - FORMATTED CONTENTS NOTE
Formatted contents note Propositional calculus, Boolean algebras, predicate calculus -- Recursion theory, Gödel's theorems, set theory. model theory.
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
9 (RLIN) 9813
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos 02-
Description subdivision Lógica Matemática e Funções Recursivas.
Linkage 23728
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Lascar, D.
Fuller form of name (Daniel),
Dates associated with a name 1942-
9 (RLIN) 39323
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Instituto de Matemática Pura e Aplicada
Koha item type Books
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) 2004-01-21   511.3 C798m 2001 IMPA 39063000605033 2022-12-02 2 2022-12-02 Books
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 2003-05-08   511.3 C798m 2001 IMPA 39063000593601 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha