logica-l

Índice cronológico

2022/04/14 [Logica-l] "Argumento válido" em gerador de tabela-verdade Adolfo Neto
2022/04/13 [Logica-l] QM and Reality [Workshop] Raoni Arroyo
2022/04/13 [Logica-l] Fwd: [Proof Complexity] Postdoc in computational complexity at Imperial College London Camilo Thorne
2022/04/12 [Logica-l] 2nd CFP: ThEdu'22 - Theorem-proving Components for Educational Software Joao Marcos
2022/04/12 [Logica-l] Fwd: Update on Logic4Peace Joao Marcos
2022/04/12 [Logica-l] Theist and Atheist Arguments in Indian Philosophy: The Logic and Religion Webinar, April 14 Assis
2022/04/12 [Logica-l] UNILOG - LUA - LUW - On the Origin of Logical Determinism in Babylonia jean-yves beziau
2022/04/11 Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC Maria Martinez-Ordaz
2022/04/11 [Logica-l] Re: Ganhadores do Premio Newton da Costa 2021 Walter Carnielli
2022/04/11 [Logica-l] Re: Ganhadores do Premio Newton da Costa 2021 Ciro Russo
2022/04/11 Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC Ciro Russo
2022/04/10 Re: [Logica-l] Lógica Viva: "Tá falando que Lula é inocente?", por Giselle Reis Itala Maria Loffredo D'Ottaviano
2022/04/10 Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC Henrique Antunes
2022/04/09 Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC Marlo Souza
2022/04/09 [Logica-l] Ganhadores do Premio Newton da Costa 2021 Walter Carnielli
2022/04/09 [Logica-l] Lógica Viva: "Tá falando que Lula é inocente?", por Giselle Reis Marcos Silva
2022/04/09 [Logica-l] Guess who is the Secret Speaker of UNILOG'2022 and win a trip to the 8th UNILOG in Cusco, Peru ! jean-yves beziau
2022/04/08 Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC C. Mortari
2022/04/08 Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC Itala Maria Loffredo D'Ottaviano
2022/04/08 [Logica-l] Fwd: Job Posting: Limited-Term Appointment in the Department of Philosophy in Logic and Metaphysics, Concordia University, Montreal, Canada Joao Marcos
2022/04/08 Re: [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC Elaine Pimentel
2022/04/08 [Logica-l] The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 at AOC jean-yves beziau
2022/04/08 [Logica-l] Publicação Post-Proceedings LSFA 2021 - Vol. 357 EPTCS Mauricio Ayala Rincon
2022/04/07 [Logica-l] Fwd: CfP ExLog2020 July 12-14 2022 @ UCLouvain, Belgium Joao Marcos
2022/04/07 [Logica-l] Fwd: Postdoc position on planning with others' beliefs and goals Joao Marcos
2022/04/07 [Logica-l] Catarina Novaes e Camila Jourdan Marcos Silva
2022/04/06 [Logica-l] April 7: watch on-line the 2nd World Logic Prizes Contest jean-yves beziau
2022/04/06 [Logica-l] Opening Ceremony of the 7th UNILOG jean-yves beziau
2022/04/06 [Logica-l] CFA: Argumentação e Identidade (Online, 25-27/07) Hugo Mota
2022/04/04 Re: [Logica-l] [OFF] 'Precisamos de uma revolução na educação', diz 1ª mulher a presidir Academia Brasileira de Ciências Mayk Alves de Andrade
2022/04/04 [Logica-l] 7th SC^2 Workshop - Second Call For Papers Haniel Barbosa
2022/04/04 [Logica-l] Logic4Peace (Fundraising online Logic event for Peace) 'Heinrich Wansing' via LOGICA-L
2022/04/01 [Logica-l] Fwd: JOB: Junior Faculty in Logic and Philosophy of Science, 3-years contract, University of Teramo (Italy) Joao Marcos
2022/04/01 [Logica-l] [PA] Nova descoberta revolucionando a ciência na base do uso da lógica. Msg do representante de Supernature no Brasil. jean-yves beziau
2022/04/01 [Logica-l] Semana PPGFIL/UFPE (6-8/4) Marcos Silva
2022/03/31 Re: [Logica-l] [OFF] 'Precisamos de uma revolução na educação', diz 1ª mulher a presidir Academia Brasileira de Ciências Walter Carnielli
2022/03/31 Re: [Logica-l] [OFF] 'Precisamos de uma revolução na educação', diz 1ª mulher a presidir Academia Brasileira de Ciências Adolfo Neto
2022/03/31 [Logica-l] [OFF] 'Precisamos de uma revolução na educação', diz 1ª mulher a presidir Academia Brasileira de Ciências Joao Marcos
2022/03/31 [Logica-l] WBL 2022 - Extensão do Prazo de Submissão Claudia Nalon
2022/03/31 [Logica-l] Fwd: LOGICA 2022 -- 1st CFP Joao Marcos
2022/03/29 [Logica-l] Trends in Logic XX Kyiv confernce cannot take place in May 2022 Walter Carnielli
2022/03/29 [Logica-l] Logic4Peace : Call for Abstracts Joao Marcos
2022/03/28 [Logica-l] Elaine Pimentel en entrevista para Lógica Mx Joao Marcos
2022/03/28 [Logica-l] About the Logic4Peace Elaine Pimentel
2022/03/28 [Logica-l] Fwd: Trends in Logic XX Kyiv confernce cannot take place in May 2022 Joao Marcos
2022/03/27 Re: [Logica-l] 2^4 anos de LOGICA-L Itala Maria Loffredo D'Ottaviano
2022/03/27 Re: [Logica-l] Mulheres Lógicas Itala Maria Loffredo D'Ottaviano
2022/03/26 [Logica-l] Fwd: LINZ Seminar 2022 [Extended Deadline - April 4th] Marcelo Esteban Coniglio
2022/03/26 [Logica-l] Fwd: Conference - PHDS IN LOGIC XIII Joao Marcos
2022/03/25 Re: [Logica-l] Mulheres Lógicas Joao Marcos
2022/03/25 [Logica-l] Mulheres Lógicas Gisele Secco
2022/03/25 Re: [Logica-l] 2^4 anos de LOGICA-L Valeria de Paiva
2022/03/25 Re: [Logica-l] 2^4 anos de LOGICA-L Joao Marcos
2022/03/25 Re: [Logica-l] 2^4 anos de LOGICA-L Adolfo Neto
2022/03/25 Re: [Logica-l] Entrevistas Lógicas Joao Marcos
2022/03/25 Re: [Logica-l] Entrevistas Lógicas Adolfo Neto
2022/03/25 Re: [Logica-l] Entrevistas Lógicas Elaine Pimentel
2022/03/25 Re: [Logica-l] Entrevistas Lógicas Adolfo Neto
2022/03/25 Re: [Logica-l] 2^4 anos de LOGICA-L Ana Teresa
2022/03/25 Re: [Logica-l] Re: [SBL-Sócios] I Dia Carol Blasio por Diversidade na Lógica Ana Teresa
2022/03/25 Re: [Logica-l] 2^4 anos de LOGICA-L Elaine Pimentel
2022/03/24 Re: [Logica-l] Entrevistas Lógicas Joao Marcos
2022/03/24 [Logica-l] Re: [SBL-Sócios] I Dia Carol Blasio por Diversidade na Lógica Joao Marcos
2022/03/24 Re: [Logica-l] Entrevistas Lógicas Walter Carnielli
2022/03/24 [Logica-l] Fwd: Rolf Schock Prize in Logic and Philosophy 2022 to David Kaplan Joao Marcos
2022/03/24 Re: [Logica-l] 2^4 anos de LOGICA-L Walter Carnielli
2022/03/24 Re: [Logica-l] 2^4 anos de LOGICA-L Julio Stern
2022/03/24 Re: [Logica-l] 2^4 anos de LOGICA-L Marcelo Finger
2022/03/24 Re: [Logica-l] 2^4 anos de LOGICA-L Adolfo Neto
2022/03/24 [Logica-l] Entrevistas Lógicas Adolfo Neto
2022/03/24 [Logica-l] 2^4 anos de LOGICA-L Joao Marcos
2022/03/24 [Logica-l] Paraconsistent Newsletter Winter-Summer 2022 jean-yves beziau
2022/03/23 [Logica-l] Fwd: REMINDER: Two Lecturer Positions in Logic and Philosophy of Language at the MCMP (LMU Munich) Joao Marcos
2022/03/20 [Logica-l] Re: [SBL-Sócios] I Dia Carol Blasio por Diversidade na Lógica Joao Marcos
2022/03/20 Re: [Logica-l] Boa notícia! Itala Maria Loffredo D'Ottaviano
2022/03/20 Re: [Logica-l] Fwd: [SBL-Sócios] I Dia Carol Blasio por Diversidade na Lógica Itala Maria Loffredo D'Ottaviano
2022/03/20 [Logica-l] Fwd: [diagrams-list] Deadlines Extended | DIAGRAMS 2022 Jorge Petrucio Viana
2022/03/20 Re: [Logica-l] Fwd: [SBL-Sócios] I Dia Carol Blasio por Diversidade na Lógica Elaine Pimentel
2022/03/20 [Logica-l] Fwd: [SBL-Sócios] I Dia Carol Blasio por Diversidade na Lógica Joao Marcos
2022/03/19 [Logica-l] Fwd: MCMP online Summer School on Mathematical Philosophy for Female Students Joao Marcos
2022/03/18 Re: [Logica-l] Boa notícia! Marcelo Esteban Coniglio
2022/03/18 [Logica-l] Patrick Suppes / Obtuário da Universidade de Stanford jean-yves beziau
2022/03/18 [Logica-l] Fwd: Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022) Marcelo Esteban Coniglio
2022/03/18 Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica) 'Samuel Gomes da Silva' via LOGICA-L
2022/03/18 Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica) Adolfo Neto
2022/03/18 Re: [Logica-l] OKK Patrick Suppes nasceu 100 anos atrás ... Adolfo Neto
2022/03/18 [Logica-l] Boa notícia! Elaine Pimentel
2022/03/17 [Logica-l] OKK Patrick Suppes nasceu 100 anos atrás ... jean-yves beziau
2022/03/17 [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica) 'Samuel Gomes da Silva' via LOGICA-L
2022/03/17 [Logica-l] Call for 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria Elaine Pimentel
2022/03/15 [Logica-l] LARAW, dia 16 ao meio dia: PANENTEÍSMO E PANPSIQUISMO / Billimoria jean-yves beziau
2022/03/15 Re: [Logica-l] hora de tirar suas dúvidas sobre assistentes de demonstração Eduardo Ochs
2022/03/15 [Logica-l] hora de tirar suas dúvidas sobre assistentes de demonstração Joao Marcos
2022/03/15 [Logica-l] Bill McCune PhD Award in Automated Reasoning 2021, Call for Nominations Claudia Nalon
2022/03/14 [Logica-l] Logica Universalis Webinar, March 16, Eunsuk Yang (joint work with Mike Dunn) jean-yves beziau
2022/03/14 [Logica-l] XX EBL Call for Contributions Ciro Russo
2022/03/14 [Logica-l] Johan Van Benthem's talk in the Cairo Webinar tomorrow March 15 at 5 pm Cairo time jean-yves beziau
2022/03/14 [Logica-l] CSL’23 -- CALL FOR WORKSHOPS Elaine Pimentel
2022/03/13 Re: [Logica-l] "On the missing diagrams in Category Theory" Eduardo Ochs
2022/03/13 Re: [Logica-l] Lógica Viva: "Moro acredita que Lula é corrupto" Itala Maria Loffredo D'Ottaviano
2022/03/13 [Logica-l] Lógica Viva: "Moro acredita que Lula é corrupto" Marcos Silva
2022/03/13 Re: [Logica-l] "On the missing diagrams in Category Theory" Valeria de Paiva
2022/03/11 [Logica-l] "On the missing diagrams in Category Theory" Eduardo Ochs
2022/03/11 [Logica-l] Artigo Introdutório ao número especial sobre o segundo concurso mundial de prêmios de lógicas jean-yves beziau
2022/03/11 [Logica-l] CfP: SMT2022 David Deharbe
2022/03/11 [Logica-l] WBL 2022 -- última chamada! (com prazo para submissões estendido) Elaine Pimentel
2022/03/11 [Logica-l] PhD Positions at Huawei Vivek Nigam
2022/03/10 [Logica-l] VII BRAZILIAN SOCIETY FOR ANALYTIC PHILOSOPHY CONFERENCE [CALL OF PAPERS] André Pontes
2022/03/10 [Logica-l] Fwd: Open Position: Assistant Professor in Logic for AI (Fixed-term, three years), Milan Joao Marcos
2022/03/09 [Logica-l] máquinas que jogam o jogo da Matemática Joao Marcos
2022/03/09 [Logica-l] 5 mulheres ganhadoras de prêmios de lógica / 2º Concurso Mundial de Prémios de Lógica: LUW 9 de Março ao meio dia jean-yves beziau
2022/03/08 Re: [Logica-l] mulheres na logica / 8 de março dia mundial da mulher da UNESCO: jean-yves beziau
2022/03/08 Re: [Logica-l] mulheres na logica / 8 de março dia mundial da mulher da UNESCO: Joao Marcos
2022/03/08 [Logica-l] mulheres na logica / 8 de março dia mundial da mulher da UNESCO: jean-yves beziau
2022/03/07 [Logica-l] 2º Concurso Mundial de Prémios de Lógica: LUW 9 de Março ao meio dia jean-yves beziau
2022/03/06 [Logica-l] Carnaval dos Lógicos do Brasil - 2022 jean-yves beziau
2022/03/05 [Logica-l] Fwd: LogTeach-22, First Call for Papers Joao Marcos
2022/03/05 [Logica-l] CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022] D. Ventura
2022/03/04 Re: [CAROL / UFRN] Fwd: [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Joao Marcos
2022/03/03 Re: [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Julio Stern
2022/03/03 Re: [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Joao Marcos
2022/03/03 Re: [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Itala Maria Loffredo D'Ottaviano
2022/03/03 [Logica-l] Lógicos na Lista "Latin America Top 100 History, Philosophy, Theology Scientists 2022" Fábio Bertato
2022/03/03 [Logica-l] Fwd: [Proof Complexity] a position in the Insitute of Mathematics Camilo Thorne
2022/03/02 [Logica-l] WCP 6 + SQUARE7 + DIAGRAMS2002 = WInning Combo ! jean-yves beziau
2022/03/01 [Logica-l] Fwd: Call for papers WCP6 Joao Marcos
2022/02/27 [Logica-l] [OUF] O Brasil na Terceira Guerra Mundial jean-yves beziau
2022/02/26 [Logica-l] Philosophy in Lviv (Ukraine), Intellectual Capital of Central Europe (1900-1939) – online seminar, March 3, 2022, 19:00 CET. jean-yves beziau
2022/02/25 [Logica-l] Fwd: [diagrams-list] CORRECTION to Second Call For Papers | DIAGRAMS 2022 Jorge Petrucio Viana
2022/02/25 [Logica-l] Fwd: [diagrams-list] Second Call For Papers | DIAGRAMS 2022 Jorge Petrucio Viana
2022/02/24 [Logica-l] Fwd: [diagrams-list] Call for Tutorials & Workshops | DIAGRAMS 2022 Jorge Petrucio Viana
2022/02/22 [Logica-l] SAJL - Tribute to Andrea Loparic (1941-2021) - Deadline Approaching jean-yves beziau
2022/02/22 [Logica-l] Vídeo no blog etc Gisele Secco
2022/02/22 [Logica-l] Scholarpedia Julio Stern
2022/02/22 [Logica-l] Chamada de trabalhos -- WBL 2022 Elaine Pimentel
2022/02/21 [Logica-l] Três Vezes Não - um estudo sobre as negações clássica, paraconsistente e paracompleta jean-yves beziau
2022/02/21 [Logica-l] FoIKS 2022: abstract submission deadline extended to *25 Feb 2022* Ivan Varzinczak
2022/02/21 [Logica-l] Professor Marcia Demby
2022/02/18 [Logica-l] "People are burnt out and overburdened" Marcos Silva
2022/02/17 [Logica-l] [CfP: Visões estruturalistas sobre a ciência: Reflexões sobre a obra de Adolfo García de la Sienra Guajardo Maria Martinez-Ordaz
2022/02/17 [Logica-l] FoIKS 2022 last call for papers Ivan Varzinczak
2022/02/17 [Logica-l] [CALL FOR PAPERS] KRR@EPIA2022 Rafael Testa
2022/02/16 [Logica-l] Contrary-to-Duty Paradox jean-yves beziau
2022/02/16 Re: [Logica-l] Logicas Brasileiras na LogicaMx Valeria de Paiva
2022/02/16 [Logica-l] Logicas Brasileiras na LogicaMx Maria Martinez-Ordaz
2022/02/16 [Logica-l] UNILOG'2022 na ilha de Creta: realização 100% presencial confirmada jean-yves beziau
2022/02/15 [Logica-l] Mathematics Professor Position at CMU Qatar Giselle Reis
2022/02/14 [Logica-l] LUWebinar Feb 16, Palestra Espacial ! Órbitas Paraconsistentes de Lógicas jean-yves beziau
2022/02/14 [Logica-l] pedido de artigo Ricardo Grande
2022/02/11 Re: [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
2022/02/11 [Logica-l] Proceedings of the 10th ThEdu Joao Marcos
2022/02/11 [Logica-l] FoIKS 2022 fifth call for papers varzinczak
2022/02/10 Re: [Logica-l] Demonstrações e Curry-Howard Regivan Hugo Nunes Santiago
2022/02/10 Re: [Logica-l] Demonstrações e Curry-Howard Marcelo Finger
2022/02/10 Re: [Logica-l] Demonstrações e Curry-Howard Elaine Pimentel
2022/02/10 Re: [Logica-l] Demonstrações e Curry-Howard Regivan Hugo Nunes Santiago
2022/02/10 Re: [Logica-l] Demonstrações e Curry-Howard Marcelo Finger
2022/02/10 [Logica-l] Demonstrações e Curry-Howard Regivan Hugo Nunes Santiago
2022/02/09 [Logica-l] CFP: Argumentation and Advocacy, Argumentação nas Américas Hugo Mota
2022/02/09 [Logica-l] LSFA 2022 - First Call for Papers Daniele Nantes
2022/02/08 [Logica-l] A Lógica do Paraíso / 10-02-2022 meio dia jean-yves beziau
2022/02/08 Re: [Logica-l] Material sobre substituição em português Joao Marcos
2022/02/08 [Logica-l] Material sobre substituição em português Eduardo Ochs
2022/02/08 Re: [Logica-l] ∃x <-> x=x <-> x∈x Alex Deiwison
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Joao Marcos
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Thiago Nascimento da Silva
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Joao Marcos
2022/02/07 Re: [Logica-l] Gerador de tabelas de verdade robusto Daniel Durante
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
2022/02/07 Re: [Logica-l] Gerador de tabelas de verdade robusto Diego Leite de Oliveira
2022/02/07 Re: [Logica-l] Gerador de tabelas de verdade robusto Thiago Nascimento da Silva
2022/02/07 Re: [Logica-l] Gerador de tabelas de verdade robusto Adolfo Neto
2022/02/07 [Logica-l] Gerador de tabelas de verdade robusto Daniel Durante
2022/02/07 [Logica-l] LUW Fev 09 2022 An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper jean-yves beziau
2022/02/07 [Logica-l] Fwd: [PT] CFP : Logical Frameworks and Meta-Languages: Theory and Practice + Frank Pfenning's 60th birthday @ FLOC 2022 Vivek Nigam
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
2022/02/07 Re: [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
2022/02/06 Re: [Logica-l] ∃x <-> x=x <-> x∈x Eduardo Ochs
2022/02/06 [Logica-l] ∃x <-> x=x <-> x∈x Léo Mota
2022/02/04 Re: [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Ciro Russo
2022/02/03 Re: [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Ciro Russo
2022/02/03 Re: [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Abilio Rodrigues Filho
2022/02/02 [Logica-l] UFRJ abre processo seletivo com 152 vagas para professor substituto jean-yves beziau
2022/02/02 [Logica-l] CfP: Deadline extension for Trends in Logic XXII Trends In Logic 2022 - U. Caglari Workshop
2022/02/02 [Logica-l] FoIKS 2022 4th call for papers varzinczak
2022/02/01 [Logica-l] Concurso na UERJ Cassiano Terra Rodrigues
2022/02/01 Re: [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Henrique Antunes
2022/02/01 [Logica-l] Re: Resultado do Prêmio de Lógica "Newton da Costa" 2021 Cassiano Terra Rodrigues
2022/01/31 Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Evandro L. Gomes
2022/01/31 Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Alfredo Roque Freire
2022/01/31 Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Marcelo Finger
2022/01/30 [Logica-l] Fwd: JOB: 6-Month Visiting Fellowship at the Complutense University of Madrid Marcelo Esteban Coniglio
2022/01/30 Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Marcelo Esteban Coniglio
2022/01/30 Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Elaine Pimentel
2022/01/29 Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Bruno Lopes
2022/01/29 [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021 Petrucio Viana