IFPE

Sistema Integrado de Bibliotecas do IFPE

Visualização normal Visualização MARC
  • Lógica simbólica e matemática

Entrada Termo tópico

Número de registros usados em: 16

001 - CONTROL NUMBER

  • control field: 2541

003 - CONTROL NUMBER IDENTIFIER

  • control field: BR-ReIFE

005 - DATE AND TIME OF LATEST TRANSACTION

  • control field: 20200626105320.0

008 - FIXED-LENGTH DATA ELEMENTS

  • fixed length control field: 200204 | anznnbabn |a ana

040 ## - CATALOGING SOURCE

  • Original cataloging agency: BR-ReIFE
  • Transcribing agency: BR-ReIFE

150 ## - HEADING--TOPICAL TERM

  • Topical term or geographic name entry element: Lógica simbólica e matemática

450 ## - SEE FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Algebra of logic

450 ## - SEE FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Logic, Universal

450 ## - SEE FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Lógica matemática

450 ## - SEE FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Mathematical logic

450 ## - SEE FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Symbolic and mathematical logic

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Cálculo de predicados
  • Control subfield: h

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

  • Topical term or geographic name entry element: Categorias (Matemática)
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Ciência
  • General subdivision: Metodologia
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Gödel, Teorema de
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Lógica algébrica
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Control subfield: h
  • Topical term or geographic name entry element: Lógica de computador

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Control subfield: h
  • Topical term or geographic name entry element: Lógica de primeira ordem

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Lógica difusa
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Lógica matricial
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Pragmática
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Programas de computador
  • General subdivision: Precisão
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Semântica (Filosofia)
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Teoria axiomática dos conjuntos
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Control subfield: h
  • Topical term or geographic name entry element: Teoria da recursão

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Teoria das demonstrações
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Teoria do modelo
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Teoria dos autômatos
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Teoria dos conjuntos
  • Control subfield: h

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Matemática
  • Control subfield: g

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Álgebra abstrata
  • Control subfield: n

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Metamatemática
  • Control subfield: n

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Silogismo
  • Control subfield: n

550 ## - SEE ALSO FROM TRACING--TOPICAL TERM

  • Topical term or geographic name entry element: Funções recursivas
  • Control subfield: h

670 ## - SOURCE DATA FOUND

  • Source citation: LCSH

750 #0 - ESTABLISHED HEADING LINKING ENTRY--TOPICAL TERM

  • Topical term or geographic name entry element: Logic, Symbolic and mathematical