A formalization of set theory without variables/ (Record no. 8146)

MARC details
000 -LEADER
fixed length control field 01146n a2200337#a 4500
001 - CONTROL NUMBER
control field 7118
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20231128114245.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 860814s1987 riua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 86022168
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0821810413 (alk. paper)
035 ## - SYSTEM CONTROL NUMBER
System control number ocm14167511
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency UBA
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.322
Item number T193f
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Lógica e Fundamentos 03-Teoria dos Conjuntos.
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Tarski, Alfred,
Dates associated with a name 1901-1983.
9 (RLIN) 44509
245 12 - TITLE STATEMENT
Title A formalization of set theory without variables/
Statement of responsibility, etc. by Alfred Tarski and Steven Givant.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Providence, R.I.:
Name of publisher, distributor, etc. American Mathematical Society,
Date of publication, distribution, etc. c1987.
300 ## - PHYSICAL DESCRIPTION
Extent xxi, 318 p.:
Other physical details ill.;
Dimensions 26 cm.
490 1# - SERIES STATEMENT
Series statement Colloquium publications,
Volume/sequential designation v. 41.
500 ## - GENERAL NOTE
General note Includes indexes.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliography: p. 273-282.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Set theory.
9 (RLIN) 43640
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical.
9 (RLIN) 9813
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Teoria dos Conjuntos
Source of heading or term larpcal
9 (RLIN) 20011
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos 03-
Description subdivision Teoria dos Conjuntos.
Linkage 23757
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Givant, Steven R.
9 (RLIN) 41752
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Colloquium publications (American Mathematical Society),
Volume/sequential designation v. 41.
9 (RLIN) 41164
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) 1999-05-24   511.322 T193f 1987 IMPA 39063000099724 2022-12-01 1 2022-12-01 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha