Menu

Filtros : "LÓGICA" "Logic Journal of the IGPL" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Artigo de periodico

    Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies (2017)

    Stern, Julio Michael

    Source: Logic Journal of the IGPL. Unidade: IME

    Subjects: FILOSOFIA DA CIÊNCIA, LÓGICA

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

    • ABNT

      STERN, Julio Michael. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, v. 25, n. 4, p. 604-631, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx017. Acesso em: 08 out. 2024.

    • APA

      Stern, J. M. (2017). Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, 25( 4), 604-631. doi:10.1093/jigpal/jzx017

    • NLM

      Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2024 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzx017

    • Vancouver

      Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2024 out. 08 ] Available from: https://doi.org/10.1093/jigpal/jzx017

  • Artigo de periodico

    The unrestricted combination of temporal logic systems (2002)

    Finger, Marcelo ; Weiss, Maria Angela

    Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA

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

    • ABNT

      FINGER, Marcelo e WEISS, Maria Angela. The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, v. 10, n. 2, p. 165-189, 2002Tradução . . Disponível em: https://doi.org/10.1093/jigpal/10.2.165. Acesso em: 08 out. 2024.

    • APA

      Finger, M., & Weiss, M. A. (2002). The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, 10( 2), 165-189. doi:10.1093/jigpal/10.2.165

    • NLM

      Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2024 out. 08 ] Available from: https://doi.org/10.1093/jigpal/10.2.165

    • Vancouver

      Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2024 out. 08 ] Available from: https://doi.org/10.1093/jigpal/10.2.165

  • Artigo de periodico

    Towards structurally-free theorem proving (1998)

    Finger, Marcelo

    Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA

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

    • ABNT

      FINGER, Marcelo. Towards structurally-free theorem proving. Logic Journal of the IGPL, v. 6, n. 3, p. 425-449, 1998Tradução . . Disponível em: https://doi.org/10.1093/jigpal/6.3.425. Acesso em: 08 out. 2024.

    • APA

      Finger, M. (1998). Towards structurally-free theorem proving. Logic Journal of the IGPL, 6( 3), 425-449. doi:10.1093/jigpal/6.3.425

    • NLM

      Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2024 out. 08 ] Available from: https://doi.org/10.1093/jigpal/6.3.425

    • Vancouver

      Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2024 out. 08 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
  • 1

1 - 3 (3 records)

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