Normal view
MARC view
- Proof theory
Entry Topical Term
001 - CONTROL NUMBER
- control field: 4065
003 - CONTROL NUMBER IDENTIFIER
- control field: TR-AnTOB
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20200812112417.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 860211|| azannbab| |b ana
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
- LC control number: sh 85107437
035 ## - SYSTEM CONTROL NUMBER
- System control number: (TR-AnTOB)4065
040 ## - CATALOGING SOURCE
- Original cataloging agency: DLC
- Transcribing agency: DLC
- Modifying agency: DLC
- Modifying agency: TR-AnTOB
053 #0 - LC CLASSIFICATION NUMBER
- Classification number element--single number or beginning number of span: QA9.54
150 #0 - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Proof theory
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Kanıt teorisi
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Kanıt kuramı
550 #0 - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Logic, Symbolic and mathematical
688 ## - APPLICATION HISTORY NOTE
- Institution to which field applies: TR-AnTOB
- Application history note: Op 12.08.2020
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: https://lccn.loc.gov/sh85107437
- Source of heading or term: lcsh
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Authority record control number or standard number: (TR-AnTOB)59720
- Source of heading or term: etuturkob