MARC details
000 -LEADER |
fixed length control field |
01362n a2200373#a 4500 |
001 - CONTROL NUMBER |
control field |
31609 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20230808122134.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
050310s2005 mau b 001 0 eng|| |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
2005045868 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
1568812388 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9781568812380 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC)58478418 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
(OCoLC |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
DLC |
Transcribing agency |
DLC |
042 ## - AUTHENTICATION CODE |
Authentication code |
pcc |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.3 |
Item number |
F837g |
084 ## - OTHER CLASSIFICATION NUMBER |
Classification number |
31.10 |
Number source |
bcl |
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES |
IMPA CODE FOR CLASSIFICATION SHELVES |
Divulgação e Recreação. |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Franzén, Torkel. |
9 (RLIN) |
17905 |
245 10 - TITLE STATEMENT |
Title |
Gödel's theorem: |
Remainder of title |
an incomplete guide to its use and abuse/ |
Statement of responsibility, etc. |
Torkel Franzén. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Wellesley, Mass.: |
Name of publisher, distributor, etc. |
A K Peters, |
Date of publication, distribution, etc. |
c2005. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
x, 172 p.; |
Dimensions |
23 cm. |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references (p. 165-167) and index. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
The incompleteness theorem: an overview -- Computability, formal systems, and incompleteness -- Incompleteness everywhere -- Skepticism and confidence -- Gödel, minds, and computers -- Gödel's completeness theorem -- Incompleteness, complexity, and infini. |
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Godel's theorem. |
9 (RLIN) |
37591 |
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Incompleteness theorems. |
9 (RLIN) |
38040 |
650 17 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Theorema van Godel. |
Source of heading or term |
gtt |
9 (RLIN) |
17906 |
650 06 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Godel, théoreme de. |
9 (RLIN) |
30504 |
650 06 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Théorèmes d'incompletude. |
9 (RLIN) |
17907 |
697 ## - LOCAL SUBJECT |
Local Subject |
Divulgação e Recreação. |
Linkage |
23735 |
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 |
200734788 |