Menu

Filtros : "IME" "1981" "COSTA, NEWTON CARNEIRO AFFONSO DA" Limpar

Filtros

Refine with date range

  • 1

1 - 4 (4 records)

  • Relatorio tecnico

    Notes on the theory of variable binding term operators (1981)

    Costa, Newton Carneiro Affonso da; Mortensen, Chris

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS (RELATÓRIO TÉCNICO)

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      COSTA, Newton Carneiro Affonso da e MORTENSEN, Chris. Notes on the theory of variable binding term operators. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/de22a1dd-7005-4945-a983-f27dda03fc0f/958953.pdf. Acesso em: 23 maio 2024. , 1981

    • APA

      Costa, N. C. A. da, & Mortensen, C. (1981). Notes on the theory of variable binding term operators. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/de22a1dd-7005-4945-a983-f27dda03fc0f/958953.pdf

    • NLM

      Costa NCA da, Mortensen C. Notes on the theory of variable binding term operators [Internet]. 1981 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/de22a1dd-7005-4945-a983-f27dda03fc0f/958953.pdf

    • Vancouver

      Costa NCA da, Mortensen C. Notes on the theory of variable binding term operators [Internet]. 1981 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/de22a1dd-7005-4945-a983-f27dda03fc0f/958953.pdf

  • Relatorio tecnico

    The philosophical import of paraconsistent logic (1981)

    Costa, Newton Carneiro Affonso da

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      COSTA, Newton Carneiro Affonso da. The philosophical import of paraconsistent logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf. Acesso em: 23 maio 2024. , 1981

    • APA

      Costa, N. C. A. da. (1981). The philosophical import of paraconsistent logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf

    • NLM

      Costa NCA da. The philosophical import of paraconsistent logic [Internet]. 1981 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf

    • Vancouver

      Costa NCA da. The philosophical import of paraconsistent logic [Internet]. 1981 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/abf0277a-3a73-4fb5-8c4a-c538f448baa6/319141.pdf

  • Relatorio tecnico

    Relations between paraconsistent logic and many-valued logic (1981)

    Costa, Newton Carneiro Affonso da; Alves, Elias Humberto

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, SISTEMAS LÓGICOS NÃO CLÁSSICOS (RELATÓRIO TÉCNICO), LÓGICA POLIVALENTE (RELATÓRIO TÉCNICO)

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      COSTA, Newton Carneiro Affonso da e ALVES, Elias Humberto. Relations between paraconsistent logic and many-valued logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/3520e5a1-170b-414b-8bd2-ef495a0787bd/474207.pdf. Acesso em: 23 maio 2024. , 1981

    • APA

      Costa, N. C. A. da, & Alves, E. H. (1981). Relations between paraconsistent logic and many-valued logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/3520e5a1-170b-414b-8bd2-ef495a0787bd/474207.pdf

    • NLM

      Costa NCA da, Alves EH. Relations between paraconsistent logic and many-valued logic [Internet]. 1981 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/3520e5a1-170b-414b-8bd2-ef495a0787bd/474207.pdf

    • Vancouver

      Costa NCA da, Alves EH. Relations between paraconsistent logic and many-valued logic [Internet]. 1981 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/3520e5a1-170b-414b-8bd2-ef495a0787bd/474207.pdf

  • Relatorio tecnico

    Problems of modal and discussive logics (1981)

    Kotas, Jerzy; Costa, Newton Carneiro Affonso da

    Unidade: IME

    Subjects: LÓGICA MATEMÁTICA (RELATÓRIO TÉCNICO), SISTEMAS LÓGICOS NÃO CLÁSSICOS (RELATÓRIO TÉCNICO), LÓGICA MODAL (RELATÓRIO TÉCNICO)

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      KOTAS, Jerzy e COSTA, Newton Carneiro Affonso da. Problems of modal and discussive logics. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/3c388b8f-805c-47d8-9d3f-0052ad34070b/475172.pdf. Acesso em: 23 maio 2024. , 1981

    • APA

      Kotas, J., & Costa, N. C. A. da. (1981). Problems of modal and discussive logics. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/3c388b8f-805c-47d8-9d3f-0052ad34070b/475172.pdf

    • NLM

      Kotas J, Costa NCA da. Problems of modal and discussive logics [Internet]. 1981 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/3c388b8f-805c-47d8-9d3f-0052ad34070b/475172.pdf

    • Vancouver

      Kotas J, Costa NCA da. Problems of modal and discussive logics [Internet]. 1981 ;[citado 2024 maio 23 ] Available from: https://repositorio.usp.br/directbitstream/3c388b8f-805c-47d8-9d3f-0052ad34070b/475172.pdf
  • 1

1 - 4 (4 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024