- Lógica simbólica y matemática
Entry Topical Term
001 - CONTROL NUMBER
- control field: 496
003 - CONTROL NUMBER IDENTIFIER
- control field: OSt
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20150616170455.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 000504dn anznnbabn||||||||| a ana d
040 ## - CATALOGING SOURCE
- Original cataloging agency: ES-MaCSI
- Language of cataloging: spa
150 ## - HEADING--TOPICAL TERM
- Topical term or geographic name as entry element: Lógica simbólica y matemática
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Lógica formal
450 ## - SEE FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Lógica matemática
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Categorías (Matemáticas)
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Cálculo de predicados
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Cálculo lambda
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Cálculo proposicional
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Conjuntos admisibles
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Conmutación, Teoría de
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Decidabilidad (Lógica matemática)
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Definibilidad, Teoría de la (Lógica matemática)
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Gödel, Teorema de
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Independencia (Matemáticas)
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Lenguajes infinitos
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Lógica algebraica
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Lógica combinatoria
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Lógica de umbral
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Lógica matemática no clásica
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Metamatemáticas
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Teorema de completud
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Recursividad, Teoría de la
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Máquinas lógicas
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Ciencia
- General subdivision: Metodología
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Matemáticas constructivas
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Modelos, Teoría de
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Lógica difusa
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: g
- Topical term or geographic name entry element: Matemáticas
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Algebra abstracta
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Conjuntos, Teoría de
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Topical term or geographic name entry element: Silogismo
550 ## - SEE ALSO FROM TRACING--TOPICAL TERM
- Control subfield: h
- Topical term or geographic name entry element: Prueba, Teoría de la
670 ## - SOURCE DATA FOUND
- Source citation: LCSH
- Information found: Logic, Symbolic and mathematical
750 #7 - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM
- Topical term or geographic name as entry element: Logic, Symbolic and mathematical
- Source of heading or term: [LCSH]