Área de identidad
Código de referencia
BR SPCLEARQ SBL
Título
Sociedade Brasileira de Lógica
Fecha(s)
- 1977-2003 (Creación)
Nivel de descripción
Fondo
Volumen y soporte
1878 itens documentais
Área de contexto
Nombre del productor
Historia administrativa
A Sociedade Brasileira de Lógica (SBL) foi criada em 14 de fevereiro de 1979, em reunião realizada no Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (UNICAMP), presidida pelo Prof. Dr. Oswaldo Porchat Pereira, coordenador do Centro de Lógica, Epistemologia e História da Ciência (CLE). A SBL é filiada à: International Union of History and Philosophy of Science; Division of Logic, Methodology and Philosophy of Science; International Council of Scientific Unions (ICSU). A SBL tem por objetivos congregar lógicos e estudiosos da lógica em todos os seus aspectos do Brasil e também do exterior, estimular e manter um interesse ativo pela lógica e suas aplicações, incentivar a pesquisa e contribuir para o aperfeiçoamento neste ramo da ciência. A Sociedade mantém estreita relação científica com os lógicos e grupos de pesquisa da América Latina e com o Committee on Logic in Latin America da Association for Symbolic Logic.
Institución archivística
Historia archivística
Origen del ingreso o transferencia
Área de contenido y estructura
Alcance y contenido
O Fundo SBL fornece subsídios para a pesquisa sobre os encontros de lógica em âmbito nacional e internacional.
Valorización, destrucción y programación
Acumulaciones
Sistema de arreglo
Em Séries e Dossiês: Eventos (EBL - do I ao XIII), 3rd Workshop on Logic, Language, Information and Computation – WOLLIC’96 (WOLLIC´96), Boletins (Bol), Using History.