Formal number theory and computability: (Record no. 16319)

MARC details
000 -LEADER
fixed length control field 01035n a2200337#a 4500
001 - CONTROL NUMBER
control field 15651
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163443.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 820512s1982 enka b 001 0 eng||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 82008055 //r92
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0198531788 :
Terms of availability $19.50
035 ## - SYSTEM CONTROL NUMBER
System control number ocm08475061
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number F533f
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 1# - MAIN ENTRY--PERSONAL NAME
Personal name Fisher, Alec
9 (RLIN) 32984
245 10 - TITLE STATEMENT
Title Formal number theory and computability:
Remainder of title a workbook/
Statement of responsibility, etc. by Alec Fisher.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Oxford:
Name of publisher, distributor, etc. Clarendon Press,
Date of publication, distribution, etc. 1982.
300 ## - PHYSICAL DESCRIPTION
Extent xiii, 190 p.:
Other physical details ill.;
Dimensions 25 cm.
490 #0 - SERIES STATEMENT
Series statement Oxford logic guides;
Volume/sequential designation 7
-- 44282
490 #0 - SERIES STATEMENT
Series statement Oxford science publications.
-- 44343
500 ## - GENERAL NOTE
General note Includes index.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliography: p. [187]-188.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Number theory.
9 (RLIN) 43485
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 Incompleteness theorems.
9 (RLIN) 38040
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos 02-
Description subdivision Lógica Matemática e Funções Recursivas.
Linkage 23728
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 Total Renewals Full call number Barcode Date last seen Date last checked out Copy number Price effective from Koha item type
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 2001-01-30 2   511.3 F533f 1982 IMPA 39063000097363 2022-12-06 2022-12-06 2 2022-12-02 Books
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-24     511.3 F533f 1982 IMPA 39063000097355 2022-12-02   1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha