Pular para o conteúdo
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
語言
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
हिंदी
全文檢索
題名
ISSN
Instituição
Institution_Menu
Código CCN
檢索
高級檢索
Annals of Mathematical Logic
引用
導出紀錄
導出到 RefWorks
導出到 EndNoteWeb
導出到 EndNote
Annals of Mathematical Logic
Código CCN:
005244-2
ISSN (Online):
0003-4843
País:
Não informado
出版商:
Association for Symbolic Logic
Imprenta:
Amsterdam:
Association for Symbolic Logic,
1970
主題:
MATEMATICA
Área de numeração:
Vol. 1 (1970)-Vol. 23 (1982)
Coleção
Coleção 2.0
職員瀏覽
Coleção 2.0
相似書籍
Algebra and Logic
出版: 1968
ISSN:
0002-5232
History and Philosophy of Logic
出版: 1980
ISSN:
0144-5340
Annals of Mathematics
出版: 1884
ISSN:
0003-486X
Archive for Mathematical Logic
出版: 1988
ISSN:
0933-5846
Mathematical Logic Quarterly
出版: 2005
ISSN:
0942-5616
載入...
