ReP USP - Resultado da busca

Trabalho de evento-resumo
Horn semantics and Craig interpolation (2025)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: SEMÂNTICA, INTERPOLAÇÃO, LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn semantics and Craig interpolation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 218-219. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2025). Horn semantics and Craig interpolation. In Book of abstracts (p. 218-219). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Artigo de periodico
Congruence filter pairs, equational filter pairs and adjoints (2025)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Journal of Logic and Computation. Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Congruence filter pairs, equational filter pairs and adjoints. Journal of Logic and Computation, v. 35, n. 5, p. 1-31, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exae002. Acesso em: 27 nov. 2025.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2025). Congruence filter pairs, equational filter pairs and adjoints. Journal of Logic and Computation, 35( 5), 1-31. doi:10.1093/logcom/exae002
NLM
Arndt P, Mariano HL, Pinto DC. Congruence filter pairs, equational filter pairs and adjoints [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-31.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/logcom/exae002
Vancouver
Arndt P, Mariano HL, Pinto DC. Congruence filter pairs, equational filter pairs and adjoints [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-31.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/logcom/exae002
Artigo de periodico
Horn filter pairs and Craig interpolation in propositional logic (2023)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Boletin de Matematicas. Unidade: IME
Assuntos: LÓGICA ALGÉBRICA, TEORIA DOS MODELOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, v. 30, n. 2, p. 1-5, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 27 nov. 2025.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, 30( 2), 1-5. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112563
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2025 nov. 27 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2025 nov. 27 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563
Artigo de periodico
Filter pairs and natural extensions of logics (2023)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Archive for Mathematical Logic. Unidade: IME
Assuntos: LÓGICA ALGÉBRICA, RETICULADOS, ESTRUTURAS ALGÉBRICAS ORDENADAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Filter pairs and natural extensions of logics. Archive for Mathematical Logic, v. 62, n. 1-2, p. 113-145, 2023Tradução . . Disponível em: https://doi.org/10.1007/s00153-022-00834-6. Acesso em: 27 nov. 2025.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Filter pairs and natural extensions of logics. Archive for Mathematical Logic, 62( 1-2), 113-145. doi:10.1007/s00153-022-00834-6
NLM
Arndt P, Mariano HL, Pinto DC. Filter pairs and natural extensions of logics [Internet]. Archive for Mathematical Logic. 2023 ; 62( 1-2): 113-145.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s00153-022-00834-6
Vancouver
Arndt P, Mariano HL, Pinto DC. Filter pairs and natural extensions of logics [Internet]. Archive for Mathematical Logic. 2023 ; 62( 1-2): 113-145.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s00153-022-00834-6
Trabalho de evento-resumo
Algebraizing higher-order logics (2019)
Mendes, Caio; Mariano, Hugo Luiz
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio e MARIANO, Hugo Luiz. Algebraizing higher-order logics. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 27 nov. 2025.
APA
Mendes, C., & Mariano, H. L. (2019). Algebraizing higher-order logics. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Horn filter pairs and Craig interpolation property (2019)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation property. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 27 nov. 2025.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2019). Horn filter pairs and Craig interpolation property. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Alguns apontamentos sobre multi-álgebra universal (2019)
Roberto, Kaique; Mariano, Hugo Luiz
Fonte: Book of Abstracts. Nome do evento: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROBERTO, Kaique e MARIANO, Hugo Luiz. Alguns apontamentos sobre multi-álgebra universal. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 27 nov. 2025.
APA
Roberto, K., & Mariano, H. L. (2019). Alguns apontamentos sobre multi-álgebra universal. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2025 nov. 27 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Artigo de periodico
Extension of inverse q-Fourier transform via conformal mapping (2019)
Nakamura, Gilberto Medeiros ; Martini, Alexandre Henrique de; Martinez, Alexandre Souto
Fonte: Physica A: Statistical Mechanics and its Applications. Unidade: FFCLRP
Assuntos: SISTEMAS DE AGENTES DE SOFTWARE, LÓGICA ALGÉBRICA, LOGARITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAMURA, Gilberto Medeiros e MARTINI, Alexandre Henrique de e MARTINEZ, Alexandre Souto. Extension of inverse q-Fourier transform via conformal mapping. Physica A: Statistical Mechanics and its Applications, v. 524, p. 106-111, 2019Tradução . . Disponível em: https://doi.org/10.1016/j.physa.2019.03.016. Acesso em: 27 nov. 2025.
APA
Nakamura, G. M., Martini, A. H. de, & Martinez, A. S. (2019). Extension of inverse q-Fourier transform via conformal mapping. Physica A: Statistical Mechanics and its Applications, 524, 106-111. doi:10.1016/j.physa.2019.03.016
NLM
Nakamura GM, Martini AH de, Martinez AS. Extension of inverse q-Fourier transform via conformal mapping [Internet]. Physica A: Statistical Mechanics and its Applications. 2019 ; 524 106-111.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.physa.2019.03.016
Vancouver
Nakamura GM, Martini AH de, Martinez AS. Extension of inverse q-Fourier transform via conformal mapping [Internet]. Physica A: Statistical Mechanics and its Applications. 2019 ; 524 106-111.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.physa.2019.03.016
Parte de monografia/livro
Reconciling first-order logic to algebra (2018)
Carnielli, Walter Alexandre ; Mariano, Hugo Luiz ; Matulovic, Mariana
Fonte: Contradictions, from consistency to inconsistency. Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARNIELLI, Walter Alexandre e MARIANO, Hugo Luiz e MATULOVIC, Mariana. Reconciling first-order logic to algebra. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_13. Acesso em: 27 nov. 2025.
APA
Carnielli, W. A., Mariano, H. L., & Matulovic, M. (2018). Reconciling first-order logic to algebra. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_13
NLM
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13
Vancouver
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13
Trabalho de evento-anais periodico
Finitary filter pairs and propositional logics (2018)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Fonte: South American Journal of Logic. Nome do evento: Brazilian Logic Conference - EBL. Unidade: IME
Assuntos: LÓGICA ALGÉBRICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Finitary filter pairs and propositional logics. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf. Acesso em: 27 nov. 2025. , 2018
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2018). Finitary filter pairs and propositional logics. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Artigo de periodico
Algebraizable logics and a functorial encoding of its morphisms (2017)
Pinto, Darllan Conceição; Mariano, Hugo Luiz
Fonte: Logic Journal of the IGPL. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, FUNDAMENTOS DA MATEMÁTICA, LÓGICA ALGÉBRICA, ÁLGEBRA HOMOLÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, v. 25, n. 4, p. 524-561, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx014. Acesso em: 27 nov. 2025.
APA
Pinto, D. C., & Mariano, H. L. (2017). Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, 25( 4), 524-561. doi:10.1093/jigpal/jzx014
NLM
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Vancouver
Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/jzx014
Tese (Doutorado)
Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos (2013)
Venancio, Rafael Duarte Oliveira; Soares, Rosana de Lima (Orientador)
Unidade: ECA
Assuntos: RÁDIO (MEIO DE COMUNICAÇÃO), LINGUAGEM DE RÁDIO, TEORIA DOS JOGOS, LÓGICA ALGÉBRICA, FILOSOFIA ANALÍTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VENANCIO, Rafael Duarte Oliveira. Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/27/27161/tde-06052014-150241/. Acesso em: 27 nov. 2025.
APA
Venancio, R. D. O. (2013). Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/27/27161/tde-06052014-150241/
NLM
Venancio RDO. Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos [Internet]. 2013 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/27/27161/tde-06052014-150241/
Vancouver
Venancio RDO. Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendos [Internet]. 2013 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/27/27161/tde-06052014-150241/
Dissertação (Mestrado)
Multiplicadores algébricos de validade lógica (2010)
Hernandes, Mauricio Simões Camilo; Finger, Marcelo (Orientador)
Unidade: IME
Assuntos: LÓGICA ALGÉBRICA, INVARIANTES, LÓGICA DE PRIMEIRA ORDEM, ÁLGEBRAS DE BOOLE, SEMÂNTICA, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HERNANDES, Mauricio Simões Camilo. Multiplicadores algébricos de validade lógica. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/. Acesso em: 27 nov. 2025.
APA
Hernandes, M. S. C. (2010). Multiplicadores algébricos de validade lógica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
NLM
Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2025 nov. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
Vancouver
Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2025 nov. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
Artigo de periodico
Fibring and sheaves (2005)
Arndt, Peter ; Freire, R. A; Luciano, Odilon Otavio; Mariano, Hugo Luiz
Fonte: CLE e-Prints. Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter et al. Fibring and sheaves. CLE e-Prints, v. 5, n. 10, p. 1-20, 2005Tradução . . Disponível em: https://doi.org/10.13140/2.1.4385.6326. Acesso em: 27 nov. 2025.
APA
Arndt, P., Freire, R. A., Luciano, O. O., & Mariano, H. L. (2005). Fibring and sheaves. CLE e-Prints, 5( 10), 1-20. doi:10.13140/2.1.4385.6326
NLM
Arndt P, Freire RA, Luciano OO, Mariano HL. Fibring and sheaves [Internet]. CLE e-Prints. 2005 ; 5( 10): 1-20.[citado 2025 nov. 27 ] Available from: https://doi.org/10.13140/2.1.4385.6326
Vancouver
Arndt P, Freire RA, Luciano OO, Mariano HL. Fibring and sheaves [Internet]. CLE e-Prints. 2005 ; 5( 10): 1-20.[citado 2025 nov. 27 ] Available from: https://doi.org/10.13140/2.1.4385.6326
Trabalho de evento
The downward Lowenheim-Skolem theorem for L-structures in Ω-sets (1988)
Miraglia Neto, Francisco
Fonte: Methods and applications of mathematical logic. Nome do evento: Latin American Symposium of Mathematical Logic. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS, LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. 1988, Anais.. Providence: Ams, 1988. Disponível em: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf. Acesso em: 27 nov. 2025.
APA
Miraglia Neto, F. (1988). The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. In Methods and applications of mathematical logic. Providence: Ams. Recuperado de https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
NLM
Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
Vancouver
Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
Dissertação (Mestrado)
Completamento e decidibilidade (1972)
Leme, Brasil Terra; Teixeira, Mario Tourasse (Orientador)
Unidade: ICMC
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LEME, Brasil Terra. Completamento e decidibilidade. 1972. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 1972. . Acesso em: 27 nov. 2025.
APA
Leme, B. T. (1972). Completamento e decidibilidade (Dissertação (Mestrado). Universidade de São Paulo, São Carlos.
NLM
Leme BT. Completamento e decidibilidade. 1972 ;[citado 2025 nov. 27 ]
Vancouver
Leme BT. Completamento e decidibilidade. 1972 ;[citado 2025 nov. 27 ]

Unidades USP

ReP

Filtros

Tipo de material

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

País de publicação

Agência de fomento

Indexado em

Afiliação dos autores externos não normalizada