- Decidabilidad (Logica Matematica)
Entrada Topical Term
Número de registros utilizados en: 0
001 - CONTROL NUMBER
- control field: 31904
003 - CONTROL NUMBER IDENTIFIER
- control field: OSt
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20180529103537.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 860211i| anannbabn |a ana
040 ## - CATALOGING SOURCE
- Original cataloging agency: la-la
042 ## - AUTHENTICATION CODE
- Authentication code: la
083 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
- Classification number element--single number or beginning number of span: 511.3-ed.20
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name entry element: Decidabilidad (Logica Matematica)
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Funciones calculables
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Funciones recursivas
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Logica simbolica y matematica
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Teorema de godel
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Funciones calculables
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Funciones recursivas
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Teorema de godel
670 ## - SOURCE DATA FOUND
- Source citation: CD Subjet Headings / Library of Congress, 1996
670 ## - SOURCE DATA FOUND
- Source citation: LC Authorities / Library of Congress, (Jun,2003) Disponible en Internet: http://authorities.loc.gov
670 ## - SOURCE DATA FOUND
- Source citation: LEMB
670 ## - SOURCE DATA FOUND
- Source citation: Lista de encabezamientos de materia de la Red de Bibliotecas del CSIC / CSIC, 1995
750 ## - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Topical term or geographic name entry element: Decidability (Mathematical logic)