Menu

Filtros : "Vicente, Luciano" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Tese (Doutorado)

    Definições parciais de verdade e sistemas de acumulação na aritmética formal (2013)

    Vicente, Luciano; Loparic, Andrea Maria Altino de Campos (Orientador)

    Unidade: FFLCH

    Subjects: TEOREMA DE GODEL’S, LÓGICA MATEMÁTICA

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

    • ABNT

      VICENTE, Luciano. Definições parciais de verdade e sistemas de acumulação na aritmética formal. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/. Acesso em: 03 jun. 2024.

    • APA

      Vicente, L. (2013). Definições parciais de verdade e sistemas de acumulação na aritmética formal (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/

    • NLM

      Vicente L. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;[citado 2024 jun. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/

    • Vancouver

      Vicente L. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;[citado 2024 jun. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/

  • Monografia/livro-traducao

    Lógica de primeira ordem (2009)

    Loparic, Andréa M. A. de Campos ; Mazak, René Pierre (Tradução); Vicente, Luciano (Tradução)

    Unidade: FFLCH

    Subjects: LÓGICA MATEMÁTICA, LÓGICA DE PRIMEIRA ORDEM

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

    • ABNT

      LOPARIC, Andréa M. A. de Campos. Lógica de primeira ordem. . São Paulo: Editora UNESP. . Acesso em: 03 jun. 2024. , 2009

    • APA

      Loparic, A. M. A. de C. (2009). Lógica de primeira ordem. São Paulo: Editora UNESP.

    • NLM

      Loparic AMA de C. Lógica de primeira ordem. 2009 ;[citado 2024 jun. 03 ]

    • Vancouver

      Loparic AMA de C. Lógica de primeira ordem. 2009 ;[citado 2024 jun. 03 ]

  • Dissertação (Mestrado)

    Uma prova de incompletude da aritmética baseada no teorema das definições recursivas (2008)

    Vicente, Luciano; Loparic, Andréa Maria Altino de Campos (Orientador)

    Unidade: FFLCH

    Subjects: TEORIA DOS TIPOS, ARITMÉTICA, LÓGICA, LÓGICA (FILOSOFIA)

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

    • ABNT

      VICENTE, Luciano. Uma prova de incompletude da aritmética baseada no teorema das definições recursivas. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/. Acesso em: 03 jun. 2024.

    • APA

      Vicente, L. (2008). Uma prova de incompletude da aritmética baseada no teorema das definições recursivas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/

    • NLM

      Vicente L. Uma prova de incompletude da aritmética baseada no teorema das definições recursivas [Internet]. 2008 ;[citado 2024 jun. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/

    • Vancouver

      Vicente L. Uma prova de incompletude da aritmética baseada no teorema das definições recursivas [Internet]. 2008 ;[citado 2024 jun. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-08102008-173642/
  • 1

1 - 3 (3 records)

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