- Gödel's theorem
Entry Topical Term
001 - CONTROL NUMBER
- control field: 117550
003 - CONTROL NUMBER IDENTIFIER
- control field: TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20200827171929.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 860211|| azannbab| |b ana
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: sh 85055601
035 ## - SYSTEM CONTROL NUMBER
- System control number: (TR-AnTOB)117550
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Language of cataloging: eng
- Transcribing agency: DLC
- Modifying agency: DLC
- Modifying agency: TR-AnTOB
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Gödel's theorem
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Gödel's incompleteness theorem
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Undecidable theories
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Gödel'in teoremi
550 #0 - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Arithmetic
- General subdivision: Foundations
550 #0 - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Completeness theorem
550 #0 - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Incompleteness theorems
550 #0 - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Logic, Symbolic and mathematical
550 #0 - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Number theory
550 #0 - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Decidability (Mathematical logic)
670 ## - SOURCE DATA FOUND
- Source citation: Random House dict.
- Information found: (Gödel's incompleteness theorem)
688 ## - APPLICATION HISTORY NOTE
- Institution to which field applies: TR-AnTOB
- Application history note: Op 27.08.2020
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: https://lccn.loc.gov/sh85055601
- Source of heading or term: lcsh



