Skip to content
Ir para o
Conteúdo
1
Ir para a
Página Inicial
2
Ir para o menu de
Navegação
3
Ir para a
Busca
4
Ir para o
Mapa do site
5
Atenção!
Seu navegador não pode executar javascript. Alguns recursos podem não funcionar corretamente.
Portal Gov.br
Ministério da Ciência, Tecnologia e Inovações
Acesso rápido
Acesso rápido
Órgãos do Governo
Acesso à Informação
Legislação
Acessibilidade
pt
Escolher o idioma
en
es
Redefinir Cookies
Mudar para o modo de alto contraste
Abrir menu principal de navegação
Instituto Brasileiro de Informação em Ciência e Tecnologia
Assuntos
Informação Científica
Informação para o Governo
Informação Tecnológica
Tecnologias para Informação
Ensino e Pesquisa
Informação para a Pesquisa
BDTD
Biblioteca do IBICT
CCN
Centro Brasileiro do ISSN
Centro Brasileiro do Latindex
Diadorim
Oasisbr
Portal do Livro Aberto em Ciência, Tecnologia e Inovação
COMUT
RIDI
EmeRI
Acesso à Informação
Institucional
Institucional
Histórico
Organograma
Competências
Avaliação Institucional
Programa de Gestão Desempenho
PDTI
Atos Normativos
Logomarca
Documentos Oficiais
Regimento Interno
PDTI
PDU
Política de Preservação Digital do Ibict
Termos de Execução Descentralizada
Editais
Oportunidades
PIBIC
Prodoc
Bolsas de Pesquisa
Projetos de Pesquisa
Editais Antigos
Dados Abertos
Ações e Programas
Participação Social
Auditorias
Convênios e Transferências
Receitas e Despesas
Licitações e Contratos
Servidores
Informações Classificadas
Serviço de Informação ao Cidadão (SIC)
Perguntas Frequentes
Agenda de Autoridades
Plano de Dados Abertos
Prestação de Contas
Relatórios dos Termos de Compromisso e Gestão
Relatórios de Gestão do Ibict
Execução Financeira
Relatório de Gestão Integrada MCTI
Canais de Atendimento
Contato
Ouvidoria
Fale Conosco
e-SIC
Reclamação
Central de Conteúdos
Notícias
2023
2022
2021
2020
2019
Redes Sociais
Galeria Multimídia
Publicações
Anais do Colóquio
Catálogo de Publicações
Ciência da Informação
Classificação Decimal Universal (CDU)
Coletânea BRCRIS
Inclusão Social
Liinc em Revista
Logeion: Filosofia da Informação
Monitoramento em CI
P2P e Inovação
Tesauro Brasileiro de Ciência da Informação
Sala de Imprensa
Notícias Ibict
Dezembro
Novembro
Outubro
Agosto
Julho/2022
Junho/2022
Composição
Quem é Quem
Coordenação de Tecnologias Aplicadas a Novos Produtos - COTEA
Coordenação-Geral de Informação Cientifíca e Tecnica - CGIC
PPGCI
CTC
Grupos de Trabalho
Serviços
Informação Científica
Informação para o Governo
Informação Tecnológica
Tecnologias para Informação
Ensino e Pesquisa
GOV.BR
Serviços
Buscar serviços por
Categorias
Órgãos
Estados
Serviços por público alvo
Cidadãos
Empresas
Órgãos e Entidades Públicas
Demais segmentos (ONGs, organizações sociais, etc)
Servidor Público
Notícias
Serviços para o cidadão
Saúde
Agricultura e Pecuária
Cidadania e Assistência Social
Ciência e Tecnologia
Comunicação
Cultura e Esporte
Economia e Gestão Pública
Educação e Pesquisa
Energia
Forças Armadas e Defesa Civil
Infraestrutura
Justiça e Segurança
Meio Ambiente
Trabalho e Previdência
Turismo
Galeria de Aplicativos
Acompanhe o Planalto
Navegação
Acessibilidade
Mapa do Site
Termos de Uso
Sobre o gov.br
Acesse sua conta gov.br
Órgãos do Governo
Temas em Destaque
Por dentro do Gov.br
Dúvidas Frequentes em relação ao Portal gov.br
Dúvidas Frequentes da conta gov.br
Ajuda para Navegar o Portal
Conheça os elementos do Portal
Política de e-participação
Termos de Uso
Governo Digital
Guia de Edição de Serviços do Portal Gov.br
Dados do Governo Federal
Dados Abertos
Painel Estatístico de Pessoal
Painel de Compras do Governo Federal
Acesso à Informação
Links Úteis
Galeria de Aplicativos
Participe
Galeria de Aplicativos
Participe
Redes sociais
YouTube
Instagram
Facebook
Twitter
Voltar ao topo da página
Institucional
Documentos
Dúvidas Frequentes
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
ISSN
Instituição
Institution_Menu
Código CCN
Find
Advanced
Notre Dame Journal of Formal L...
Cite this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Notre Dame Journal of Formal Logic
Código CCN:
052749-1
ISSN (Online):
0029-4527
Country:
Não informado
Publisher:
University of Notre Dame
Imprenta:
Notre Dame, Ind.:
University of Notre Dame,
1960
Área de numeração:
Vol. 1 (1960)-
Coleção
Coleção 2.0
Staff View
Coleção 2.0
Similar Items
The Notre Dame Lawyer
ISSN:
0029-4535
The Notre Dame Law Review
Published: 2019
ISSN:
0745-3515
Formal Aspects of Computing
Published: 1989
ISSN:
0934-5043
Formal Methods in Systems Design
Published: 2001
ISSN:
0925-9856
Logic and Logical Philosophy
Published: 2000
ISSN:
1425-3305
Loading...
