The monadic second order theory of all countable ordinals/ (Record no. 23207)

MARC details
000 -LEADER
fixed length control field 01533n a2200361#a 4500
001 - CONTROL NUMBER
control field 23062
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163527.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 730913s1973 gw b 000 0 eng||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 73082358 //r85
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GFR***
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3387063455 (New York)
035 ## - SYSTEM CONTROL NUMBER
System control number ocm00707566
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency P5A
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 510/.8 s
-- 511/.3
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Coleções de Monografias.
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Büchi, J. Richard.
9 (RLIN) 25981
245 14 - TITLE STATEMENT
Title The monadic second order theory of all countable ordinals/
Statement of responsibility, etc. J. Richard Büchi and Dirk Siefkes.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin:
-- New York:
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 1973.
300 ## - PHYSICAL DESCRIPTION
Extent vi, 217 p.:
Dimensions 26 cm.
490 1# - SERIES STATEMENT
Series statement Lecture notes in mathematics (Berlin);
Volume/sequential designation 328.
490 #0 - SERIES STATEMENT
Series statement Decidable theories;
Volume/sequential designation 2.
-- 18879
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographies.
505 00 - FORMATTED CONTENTS NOTE
Formatted contents note Büchi, J. R. The monadic second order theory of [omega symbol]b1s.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]b1s.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Godel's theorem.
9 (RLIN) 37591
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Model theory.
9 (RLIN) 952
697 ## - LOCAL SUBJECT
Local Subject Coleções de Monografias.
Linkage 23736
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Siefkes, Dirk
Relator term joint author.
9 (RLIN) 43304
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in mathematics (Springer-Verlag);
Volume/sequential designation 328.
9 (RLIN) 43881
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 Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Barcode Date last seen Copy number Price effective from Koha item type
        Coleções de Monografias (Monographs Collections) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-25   39063000230444 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha